prabhatexit0/old_default.trace Secret

## old_default.trace
********** source program **********
namespace N;fn Add (a: i32, b: i32)-> i32 {
{
return (a + b);
}

}
fn Main ()-> i32 {
{
var sum: auto = N.Add(1, 2);
return sum;
}

}
********** resolving names **********
********** resolving control flow **********
********** type checking **********
Omitting prelude type checking traces...
Finished prelude, resuming traces...
checking NamespaceDeclaration
** declaring function Add
checking TuplePattern (a: i32, b: i32)
checking BindingPattern a: i32
checking ExpressionPattern i32
checking IntTypeLiteral i32
{
stack:
memory:
}
--- step exp i32 .0. (./testfile.carbon:5) --->
{
stack:
memory:
}
finished checking tuple pattern field a: i32
checking BindingPattern b: i32
checking ExpressionPattern i32
checking IntTypeLiteral i32
{
stack:
memory:
}
--- step exp i32 .0. (./testfile.carbon:5) --->
{
stack:
memory:
}
finished checking tuple pattern field b: i32
checking IntTypeLiteral i32
{
stack:
memory:
}
--- step exp i32 .0. (./testfile.carbon:5) --->
{
stack:
memory:
}
** finished declaring function Add of type fn (i32, i32) -> i32
checking FunctionDeclaration
** checking function Add
impl declarations:
impl declarations: bool as interface EqWith(U = bool), i32 as interface EqWith(U = i32), String as interface EqWith(U = String), i32 as interface CompareWith(U = i32), String as interface CompareWith(U = String), i32 as interface LessWith(U = i32), String as interface LessWith(U = String), i32 as interface LessEqWith(U = i32), String as interface LessEqWith(U = String), i32 as interface GreaterWith(U = i32), String as interface GreaterWith(U = String), i32 as interface GreaterEqWith(U = i32), String as interface GreaterEqWith(U = String), i32 as interface Negate, i32 as interface AddWith(U = i32), i32 as interface SubWith(U = i32), i32 as interface MulWith(U = i32), i32 as interface DivWith(U = i32), i32 as interface ModWith(U = i32), i32 as interface BitComplement, i32 as interface BitAndWith(U = i32), i32 as interface BitOrWith(U = i32), i32 as interface BitXorWith(U = i32), i32 as interface LeftShiftWith(U = i32), i32 as interface RightShiftWith(U = i32), i32 as interface Inc, i32 as interface Dec, U as interface __EqualConverter [0], (T1,) as interface ImplicitAs(T = (U1,)) [0, 0, 0; 1, 1, 0, 0, 0], (T1,) as interface As(T = (U1,)) [0, 0, 0; 1, 1, 0, 0, 0], (T1,) as interface As(T = (U1,)) [0, 0, 0; 1, 1, 0, 0, 0], (T1, T2) as interface ImplicitAs(T = (U1, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, T2) as interface As(T = (U1, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, T2) as interface As(T = (U1, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, U1) as interface EqWith(U = (T2, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, T2, T3) as interface ImplicitAs(T = (U1, U2, U3)) [0, 0, 0; 0, 0, 1; 0, 0, 2; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1; 1, 1, 0, 0, 2], (T1, T2, T3) as interface As(T = (U1, U2, U3)) [0, 0, 0; 0, 0, 1; 0, 0, 2; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1; 1, 1, 0, 0, 2], (T1, T2, T3) as interface As(T = (U1, U2, U3)) [0, 0, 0; 0, 0, 1; 0, 0, 2; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1; 1, 1, 0, 0, 2], T as interface ImplicitAs(T = U) [0; 1, 1, 0], T as interface As(T = U) [0; 1, 1, 0], T as interface ImplicitAs(T = U) [0; 1, 1, 0], T as interface As(T = U) [0; 1, 1, 0], T as interface AssignWith(U = U) [0; 1, 1, 0], T as interface AddAssignWith(U = U) [0; 1, 1, 0], T as interface SubAssignWith(U = U) [0; 1, 1, 0], T as interface MulAssignWith(U = U) [0; 1, 1, 0], T as interface DivAssignWith(U = U) [0; 1, 1, 0], T as interface ModAssignWith(U = U) [0; 1, 1, 0], T as interface BitAndAssignWith(U = U) [0; 1, 1, 0], T as interface BitOrAssignWith(U = U) [0; 1, 1, 0], T as interface BitXorAssignWith(U = U) [0; 1, 1, 0], T as interface LeftShiftAssignWith(U = U) [0; 1, 1, 0], T as interface RightShiftAssignWith(U = U) [0; 1, 1, 0]
checking Block {
return (a + b);
}

checking ReturnExpression return (a + b);
checking OperatorExpression (a + b)
checking IdentifierExpression a
checking IdentifierExpression b
** finished checking function Add
** declaring function Main
checking TuplePattern ()
checking IntTypeLiteral i32
{
stack:
memory:
}
--- step exp i32 .0. (./testfile.carbon:9) --->
{
stack:
memory:
}
** finished declaring function Main of type fn () -> i32
checking FunctionDeclaration
** checking function Main
impl declarations:
impl declarations: bool as interface EqWith(U = bool), i32 as interface EqWith(U = i32), String as interface EqWith(U = String), i32 as interface CompareWith(U = i32), String as interface CompareWith(U = String), i32 as interface LessWith(U = i32), String as interface LessWith(U = String), i32 as interface LessEqWith(U = i32), String as interface LessEqWith(U = String), i32 as interface GreaterWith(U = i32), String as interface GreaterWith(U = String), i32 as interface GreaterEqWith(U = i32), String as interface GreaterEqWith(U = String), i32 as interface Negate, i32 as interface AddWith(U = i32), i32 as interface SubWith(U = i32), i32 as interface MulWith(U = i32), i32 as interface DivWith(U = i32), i32 as interface ModWith(U = i32), i32 as interface BitComplement, i32 as interface BitAndWith(U = i32), i32 as interface BitOrWith(U = i32), i32 as interface BitXorWith(U = i32), i32 as interface LeftShiftWith(U = i32), i32 as interface RightShiftWith(U = i32), i32 as interface Inc, i32 as interface Dec, U as interface __EqualConverter [0], (T1,) as interface ImplicitAs(T = (U1,)) [0, 0, 0; 1, 1, 0, 0, 0], (T1,) as interface As(T = (U1,)) [0, 0, 0; 1, 1, 0, 0, 0], (T1,) as interface As(T = (U1,)) [0, 0, 0; 1, 1, 0, 0, 0], (T1, T2) as interface ImplicitAs(T = (U1, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, T2) as interface As(T = (U1, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, T2) as interface As(T = (U1, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, U1) as interface EqWith(U = (T2, U2)) [0, 0, 0; 0, 0, 1; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1], (T1, T2, T3) as interface ImplicitAs(T = (U1, U2, U3)) [0, 0, 0; 0, 0, 1; 0, 0, 2; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1; 1, 1, 0, 0, 2], (T1, T2, T3) as interface As(T = (U1, U2, U3)) [0, 0, 0; 0, 0, 1; 0, 0, 2; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1; 1, 1, 0, 0, 2], (T1, T2, T3) as interface As(T = (U1, U2, U3)) [0, 0, 0; 0, 0, 1; 0, 0, 2; 1, 1, 0, 0, 0; 1, 1, 0, 0, 1; 1, 1, 0, 0, 2], T as interface ImplicitAs(T = U) [0; 1, 1, 0], T as interface As(T = U) [0; 1, 1, 0], T as interface ImplicitAs(T = U) [0; 1, 1, 0], T as interface As(T = U) [0; 1, 1, 0], T as interface AssignWith(U = U) [0; 1, 1, 0], T as interface AddAssignWith(U = U) [0; 1, 1, 0], T as interface SubAssignWith(U = U) [0; 1, 1, 0], T as interface MulAssignWith(U = U) [0; 1, 1, 0], T as interface DivAssignWith(U = U) [0; 1, 1, 0], T as interface ModAssignWith(U = U) [0; 1, 1, 0], T as interface BitAndAssignWith(U = U) [0; 1, 1, 0], T as interface BitOrAssignWith(U = U) [0; 1, 1, 0], T as interface BitXorAssignWith(U = U) [0; 1, 1, 0], T as interface LeftShiftAssignWith(U = U) [0; 1, 1, 0], T as interface RightShiftAssignWith(U = U) [0; 1, 1, 0]
checking Block {
var sum: auto = N.Add(1, 2);
return sum;
}

checking VariableDefinition var sum: auto = N.Add(1, 2);
checking CallExpression N.Add(1, 2)
checking SimpleMemberAccessExpression N.Add
checking IdentifierExpression Add
checking TupleLiteral (1, 2)
checking IntLiteral 1
checking IntLiteral 2
checking call to function of type fn (i32, i32) -> i32
with arguments of type: (i32, i32)
performing argument deduction for bindings:
deducing i32 from i32
deducing i32 from i32
deduction succeeded with results: {}
checking BindingPattern sum: auto, expecting i32
checking AutoPattern auto, expecting i32
match pattern auto
with value i32
checking ReturnExpression return sum;
checking IdentifierExpression sum
** finished checking function Main
checking CallExpression Main()
checking IdentifierExpression Main
checking TupleLiteral ()
checking call to function of type fn () -> i32
with arguments of type: ()
performing argument deduction for bindings:
deduction succeeded with results: {}
********** resolving unformed variables **********
********** printing declarations **********
namespace N;fn Add (a: i32, b: i32)-> i32 {
{
return (a + b);
}

}
fn Main ()-> i32 {
{
var sum: auto = N.Add(1, 2);
return sum;
}

}
********** starting execution **********
********** initializing globals **********
{
stack:
memory:
}
--- step decl interface As .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:14) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface ImplicitAs .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:19) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface __EqualConverter .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:25) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl fn __EqualConvert .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:28) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type] U as __EqualConverter where .T = U .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:31) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl match_first .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:97) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface EqWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:110) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Eq .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:114) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [T2:! type, U2:! type, T1:! EqWith(T2), U1:! EqWith(U2)] (T1, U1) as EqWith(((T2, U2))) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:129) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl bool as EqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:138) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as EqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:148) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl String as EqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:158) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl choice Ordering .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:169) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface CompareWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:175) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Ordered .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:178) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as CompareWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:195) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl String as CompareWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:211) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface LessWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:215) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface LessEqWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:219) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface GreaterWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:223) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface GreaterEqWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:227) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as LessWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:239) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl String as LessWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:251) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as LessEqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:266) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl String as LessEqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:281) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as GreaterWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:293) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl String as GreaterWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:305) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as GreaterEqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:320) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl String as GreaterEqWith(Self) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:335) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface Negate .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:345) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface AddWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:351) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Add .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:354) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface SubWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:360) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Sub .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:363) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface MulWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:369) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Mul .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:372) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface DivWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:378) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Div .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:381) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface ModWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:387) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Mod .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:390) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as Negate where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:395) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as AddWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:398) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as SubWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:401) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as MulWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:404) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as DivWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:407) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as ModWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:410) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitComplement .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:421) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitAndWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:428) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint BitAnd .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:431) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitOrWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:438) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint BitOr .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:441) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitXorWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:448) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint BitXor .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:451) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface LeftShiftWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:458) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint LeftShift .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:461) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface RightShiftWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:468) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint RightShift .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:471) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as BitComplement where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:477) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as BitAndWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:482) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as BitOrWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:487) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as BitXorWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:492) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as LeftShiftWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:497) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl external impl i32 as RightShiftWith(i32) where .Result = i32 .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:502) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface AssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:510) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint Assign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:511) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface AddAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:515) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint AddAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:516) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface SubAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:520) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint SubAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:521) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface MulAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:525) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint MulAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:526) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface DivAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:530) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint DivAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:531) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface ModAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:535) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint ModAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:536) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitAndAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:540) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint BitAssignAnd .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:541) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitOrAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:545) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint BitAssignOr .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:546) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface BitXorAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:550) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint BitAssignXor .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:551) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface LeftShiftAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:555) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint LeftShiftAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:556) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface RightShiftAssignWith .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:560) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl constraint RightShiftAssign .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:561) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [T:! type, U:! ImplicitAs(T)] T as AssignWith((U)) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:571) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! AddWith(U) where .Self impls AssignWith(.Self.Result)] T as AddAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:579) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! SubWith(U) where .Self impls AssignWith(.Self.Result)] T as SubAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:586) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! MulWith(U) where .Self impls AssignWith(.Self.Result)] T as MulAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:593) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! DivWith(U) where .Self impls AssignWith(.Self.Result)] T as DivAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:600) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! ModWith(U) where .Self impls AssignWith(.Self.Result)] T as ModAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:607) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! BitAndWith(U) where .Self impls AssignWith(.Self.Result)] T as BitAndAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:614) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! BitOrWith(U) where .Self impls AssignWith(.Self.Result)] T as BitOrAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:621) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! BitXorWith(U) where .Self impls AssignWith(.Self.Result)] T as BitXorAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:628) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! LeftShiftWith(U) where .Self impls AssignWith(.Self.Result)] T as LeftShiftAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:635) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl forall [U:! type, T:! RightShiftWith(U) where .Self impls AssignWith(.Self.Result)] T as RightShiftAssignWith(U) .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:642) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface Inc .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:650) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl interface Dec .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:653) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as Inc .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:659) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl impl i32 as Dec .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:664) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl fn Assert .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:679) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl fn Rand .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:683) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl choice OptionalElement .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:691) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl class Optional .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:720) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl class Heap .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:733) --->
{
stack:
memory:
}
{
stack:
memory:
}
--- step decl var heap: Heap .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:735) --->
{
stack: {} .0. ## var heap: Heap = {};
 .1.
memory:
}
--- step exp {} .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:735) --->
{
stack: {} .0. ## {} .1. ## var heap: Heap = {};
 .1.
memory:
}
--- step exp {} .0. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:735) --->
{
stack: {} .1. [[{}]] ## var heap: Heap = {};
 .1.
memory:
}
--- step exp {} .1. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:735) --->
{
stack: class Heap .0. ## {} .2. [[{}]] ## var heap: Heap = {};
 .1.
memory:
}
{
stack: {} .2. [[{}, class Heap]] ## var heap: Heap = {};
 .1.
memory:
}
--- step exp {} .2. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:735) --->
{
stack: var heap: Heap = {};
 .1. [[Heap{}]]
memory:
}
--- step decl var heap: Heap .1. (/private/var/tmp/_bazel_prabhatsachdeva/20081091d895e017d1f90f5df34bb89f/execroot/carbon/bazel-out/darwin_arm64-fastbuild/bin/explorer/explorer.runfiles/carbon/explorer/data/prelude.carbon:735) --->
{
stack:
memory: 0: Heap{}
}
{
stack:
memory: 0: Heap{}
}
--- step decl namespace N .0. (./testfile.carbon:3) --->
{
stack:
memory: 0: Heap{}
}
{
stack:
memory: 0: Heap{}
}
--- step decl fn N.Add .0. (./testfile.carbon:7) --->
{
stack:
memory: 0: Heap{}
}
{
stack:
memory: 0: Heap{}
}
--- step decl fn Main .0. (./testfile.carbon:12) --->
{
stack:
memory: 0: Heap{}
}
********** calling main function **********
{
stack:
memory: 0: Heap{}
}
--- step exp Main() .0. (<Main()>:0) --->
{
stack: Main .0. ## Main() .1.
memory: 0: Heap{}
}
--- step exp Main .0. (<Main()>:0) --->
{
stack: Main() .1. [[fun<Main>]]
memory: 0: Heap{}
}
--- step exp Main() .1. (<Main()>:0) --->
{
stack: () .0. ## Main() .2. [[fun<Main>]]
memory: 0: Heap{}
}
--- step exp () .0. (<Main()>:0) --->
{
stack: Main() .2. [[fun<Main>, ()]]
memory: 0: Heap{}
}
--- step exp Main() .2. (<Main()>:0) --->
calling function: fun<Main>
match pattern ()
with value ()
{
stack: {var sum: auto = N.Add(1, 2);return sum;} .0. ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step stmt {var sum: auto = N.Add(1, 2);return sum;} .0. (./testfile.carbon:12) --->
{
stack: var sum: auto = N.Add(1, 2); .0. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step stmt var sum: auto = N.Add(1, 2); .0. (./testfile.carbon:10) --->
{
stack: N.Add(1, 2) .0. ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp N.Add(1, 2) .0. (./testfile.carbon:10) --->
{
stack: N.Add .0. ## N.Add(1, 2) .1. ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp N.Add .0. (./testfile.carbon:10) --->
{
stack: Add .0. ## N.Add(1, 2) .1. ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp Add .0. (./testfile.carbon:10) --->
{
stack: N.Add(1, 2) .1. [[fun<N.Add>]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp N.Add(1, 2) .1. (./testfile.carbon:10) --->
{
stack: (1, 2) .0. ## N.Add(1, 2) .2. [[fun<N.Add>]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp (1, 2) .0. (./testfile.carbon:10) --->
{
stack: 1 .0. ## (1, 2) .1. ## N.Add(1, 2) .2. [[fun<N.Add>]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp 1 .0. (./testfile.carbon:10) --->
{
stack: (1, 2) .1. [[1]] ## N.Add(1, 2) .2. [[fun<N.Add>]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp (1, 2) .1. (./testfile.carbon:10) --->
{
stack: 2 .0. ## (1, 2) .2. [[1]] ## N.Add(1, 2) .2. [[fun<N.Add>]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp 2 .0. (./testfile.carbon:10) --->
{
stack: (1, 2) .2. [[1, 2]] ## N.Add(1, 2) .2. [[fun<N.Add>]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp (1, 2) .2. (./testfile.carbon:10) --->
{
stack: N.Add(1, 2) .2. [[fun<N.Add>, (1, 2)]] ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}
}
--- step exp N.Add(1, 2) .2. (./testfile.carbon:10) --->
calling function: fun<N.Add>
match pattern (Placeholder<a>, Placeholder<b>)
with value (1, 2)
match pattern Placeholder<a>
with value 1
match pattern Placeholder<b>
with value 2
{
stack: {return (a + b);} .0. ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step stmt {return (a + b);} .0. (./testfile.carbon:7) --->
{
stack: return (a + b); .0. ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step stmt return (a + b); .0. (./testfile.carbon:6) --->
{
stack: (a + b) .0. ## return (a + b); .1. ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step exp (a + b) .0. (./testfile.carbon:6) --->
{
stack: a .0. ## (a + b) .1. ## return (a + b); .1. ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step exp a .0. (./testfile.carbon:6) --->
{
stack: (a + b) .1. [[1]] ## return (a + b); .1. ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step exp (a + b) .1. (./testfile.carbon:6) --->
{
stack: b .0. ## (a + b) .2. [[1]] ## return (a + b); .1. ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step exp b .0. (./testfile.carbon:6) --->
{
stack: (a + b) .2. [[1, 2]] ## return (a + b); .1. ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step exp (a + b) .2. (./testfile.carbon:6) --->
{
stack: return (a + b); .1. [[3]] ## {return (a + b);} .1. {} ## .0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2)]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
--- step stmt return (a + b); .1. (./testfile.carbon:6) --->
{
stack: clean up.0. {} ## clean up.0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
{
stack: clean up.0. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
{
stack: destroy.0. ## clean up.1. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
{
stack: clean up.1. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: 2
}
{
stack: clean up.2. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: !!2
}
{
stack: destroy.0. ## clean up.3. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: !!2
}
{
stack: clean up.3. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: 1, 2: !!2
}
{
stack: clean up.4. {a: i32: lval<Allocation(1)>, b: i32: lval<Allocation(2)>} ## N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2
}
{
stack: N.Add(1, 2) .3. [[fun<N.Add>, (1, 2), 3]] {} ## var sum: auto = N.Add(1, 2); .1. ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2
}
--- step exp N.Add(1, 2) .3. (./testfile.carbon:10) --->
{
stack: clean up.0. {} ## var sum: auto = N.Add(1, 2); .1. [[3]] ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2
}
{
stack: var sum: auto = N.Add(1, 2); .1. [[3]] ## {var sum: auto = N.Add(1, 2);return sum;} .1. {} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2
}
--- step stmt var sum: auto = N.Add(1, 2); .1. (./testfile.carbon:10) --->
match pattern Placeholder<sum>
with value 3
{
stack: {var sum: auto = N.Add(1, 2);return sum;} .1. {sum: auto: lval<Allocation(3)>} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
--- step stmt {var sum: auto = N.Add(1, 2);return sum;} .1. (./testfile.carbon:12) --->
{
stack: return sum; .0. ## {var sum: auto = N.Add(1, 2);return sum;} .2. {sum: auto: lval<Allocation(3)>} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
--- step stmt return sum; .0. (./testfile.carbon:11) --->
{
stack: sum .0. ## return sum; .1. ## {var sum: auto = N.Add(1, 2);return sum;} .2. {sum: auto: lval<Allocation(3)>} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
--- step exp sum .0. (./testfile.carbon:11) --->
{
stack: return sum; .1. [[3]] ## {var sum: auto = N.Add(1, 2);return sum;} .2. {sum: auto: lval<Allocation(3)>} ## .0. {} ## Main() .3. [[fun<Main>, ()]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
--- step stmt return sum; .1. (./testfile.carbon:11) --->
{
stack: clean up.0. {sum: auto: lval<Allocation(3)>} ## clean up.0. {} ## Main() .3. [[fun<Main>, (), 3]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
{
stack: destroy.0. ## clean up.1. {sum: auto: lval<Allocation(3)>} ## clean up.0. {} ## Main() .3. [[fun<Main>, (), 3]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
{
stack: clean up.1. {sum: auto: lval<Allocation(3)>} ## clean up.0. {} ## Main() .3. [[fun<Main>, (), 3]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: 3
}
{
stack: clean up.2. {sum: auto: lval<Allocation(3)>} ## clean up.0. {} ## Main() .3. [[fun<Main>, (), 3]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: !!3
}
{
stack: clean up.0. {} ## Main() .3. [[fun<Main>, (), 3]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: !!3
}
{
stack: Main() .3. [[fun<Main>, (), 3]] {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: !!3
}
--- step exp Main() .3. (<Main()>:0) --->
{
stack: clean up.0. {}
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: !!3
}
{
stack:
memory: 0: Heap{}, 1: !!1, 2: !!2, 3: !!3
}
Time elapsed in ExecProgram: 0ms
Time elapsed in AnalyzeProgram: 20ms
Time elapsed in AddPrelude: 7ms
Time elapsed in Parse: 3ms
result: 3
No results found