Fix literal conditional branch emission (#2756)

Fixes #2747

Copilot-Session: d27ee0ef-46db-423b-93dc-db64f8eae1ff

Author: DavidObando

src/Core/CodeAnalysis/Emit/MethodBodyEmitter.cs

@@ -1105,6 +1105,16 @@ private void EmitBranch(BoundLabel target, BoundExpression conditional, bool jum
         var crossesRegion = this.protectedRegionStack.Count > 0
             && !this.protectedRegionStack.Peek().Contains(target);
 
+        if (conditional is BoundLiteralExpression { Value: bool value })
+        {
+            if (value == jumpIfTrue)
+            {
+                this.il.Branch(crossesRegion ? ILOpCode.Leave : ILOpCode.Br, targetHandle);
+            }
+
+            return;
+        }
+
         if (conditional == null)
         {
             this.il.Branch(crossesRegion ? ILOpCode.Leave : ILOpCode.Br, targetHandle);

test/Compiler.Tests/Emit/Issue2283SwitchAllTerminalArmsEmitTests.cs

@@ -42,6 +42,34 @@ namespace GSharp.Compiler.Tests.Emit;
 /// </summary>
 public class Issue2283SwitchAllTerminalArmsEmitTests
 {
+    [Fact]
+    public void LiteralTrueLoopEndingInReturn_VerifiesAndRuns()
+    {
+        const string source = """
+            package Issue2747.InfiniteLoop
+            import System
+
+            class Login {
+                func Callback() Uri {
+                    while true {
+                        let text = "https://example.com"
+                        var uri Uri? = nil
+                        if !Uri.TryCreate(text, UriKind.Absolute, out uri) {
+                            continue
+                        }
+
+                        return uri!!
+                    }
+                }
+            }
+
+            Console.WriteLine(Login().Callback().Host)
+            """;
+
+        var output = CompileAndRun(source);
+        Assert.Equal("example.com\n", output);
+    }
+
     [Fact]
     public void AllArmsTerminal_AsLastStatement_VerifiesAndRuns()
     {