Fuzzer found crash about carbon-lang HOT 3 OPEN

can you pls exlain this ....
i tried this on compiler it will give 0.
i think no error is come..

• • • • • • • • • • starting execution * * * * * * * * * *

• • • • • initializing globals - - - - -

[] stack-push: DeclarationAction pos: 0 fn B (/app/example.carbon:4)
->> step DeclarationAction pos: 0 fn B (/app/example.carbon:4) --->

*** declaration at (/app/example.carbon:4)

fn B [C:! bool, D:! type where true == (C == true)]();

<[] stack-pop: DeclarationAction pos: 0 fn B (/app/example.carbon:4)

[] stack-push: DeclarationAction pos: 0 fn Main (/app/example.carbon:5)
->> step DeclarationAction pos: 0 fn Main (/app/example.carbon:5) --->

*** declaration at (/app/example.carbon:5)

fn Main () -> i32
{
  return 0;
}

<[] stack-pop: DeclarationAction pos: 0 fn Main (/app/example.carbon:5)

• • • • • calling main function - - - - -

[] stack-push: ValueExpressionAction pos: 0 Main() (<Main()>:0)
->> step ValueExpressionAction pos: 0 Main() (<Main()>:0) --->
[] stack-push: ExpressionAction pos: 0 Main() (<Main()>:0)
->> step ExpressionAction pos: 0 Main() (<Main()>:0) --->
[] stack-push: ValueExpressionAction pos: 0 Main (<Main()>:0)
->> step ValueExpressionAction pos: 0 Main (<Main()>:0) --->
[] stack-push: ExpressionAction pos: 0 Main (<Main()>:0)
->> step ExpressionAction pos: 0 Main (<Main()>:0) --->
<[] stack-pop: ExpressionAction pos: 0 Main (<Main()>:0)
->> step ValueExpressionAction pos: 1 Main results: [fun<Main>] (<Main()>:0) --->
<[] stack-pop: ValueExpressionAction pos: 1 Main results: [fun<Main>] (<Main()>:0)
->> step ExpressionAction pos: 1 Main() results: [fun<Main>] scope: [] (<Main()>:0) --->
-() calling function: fun

=== match pattern ()
from value expression with value ()
[] stack-push: ScopeAction pos: 0 scope: [] (None)
[] stack-push: StatementAction pos: 0 { ... } (/app/example.carbon:5)
->> step StatementAction pos: 0 { ... } (/app/example.carbon:5) --->

*** statement at (/app/example.carbon:5)

{
  return 0;
}

[] stack-push: StatementAction pos: 0 return ...; (/app/example.carbon:5)
->> step StatementAction pos: 0 return ...; (/app/example.carbon:5) --->

*** statement at (/app/example.carbon:5)

return 0;

[] stack-push: ValueExpressionAction pos: 0 0 (/app/example.carbon:5)
->> step ValueExpressionAction pos: 0 0 (/app/example.carbon:5) --->
[] stack-push: ExpressionAction pos: 0 0 (/app/example.carbon:5)
->> step ExpressionAction pos: 0 0 (/app/example.carbon:5) --->
<[] stack-pop: ExpressionAction pos: 0 0 (/app/example.carbon:5)
->> step ValueExpressionAction pos: 1 0 results: [0] (/app/example.carbon:5) --->
<[] stack-pop: ValueExpressionAction pos: 1 0 results: [0] (/app/example.carbon:5)
->> step StatementAction pos: 1 return ...; results: [0] (/app/example.carbon:5) --->

*** statement at (/app/example.carbon:5)

return 0;

<[] stack-pop: StatementAction pos: 1 return ...; results: [0] (/app/example.carbon:5)
<[] stack-pop: StatementAction pos: 1 { ... } scope: [] (/app/example.carbon:5)
<[] stack-pop: ScopeAction pos: 0 scope: [] (None)

[] stack-push: CleanUpAction pos: 0 scope: [] (stack cleanup:1)
[] stack-push: CleanUpAction pos: 0 scope: [] (stack cleanup:1)
->> step CleanUpAction pos: 0 scope: [] (stack cleanup:1) --->
<[] stack-pop: CleanUpAction pos: 0 scope: [] (stack cleanup:1)
->> step CleanUpAction pos: 0 scope: [] (stack cleanup:1) --->
<[] stack-pop: CleanUpAction pos: 0 scope: [] (stack cleanup:1)
->> step ExpressionAction pos: 2 Main() results: [fun<Main>, 0] scope: [] (<Main()>:0) --->
<[] stack-pop: ExpressionAction pos: 2 Main() results: [fun<Main>, 0] scope: [] (<Main()>:0)
[] stack-push: CleanUpAction pos: 0 scope: [] (stack cleanup:1)
->> step CleanUpAction pos: 0 scope: [] (stack cleanup:1) --->
<[] stack-pop: CleanUpAction pos: 0 scope: [] (stack cleanup:1)
->> step ValueExpressionAction pos: 1 Main() results: [0] (<Main()>:0) --->
<[] stack-pop: ValueExpressionAction pos: 1 Main() results: [0] (<Main()>:0)
==> interpreter result: 0

from carbon-lang.

@officialhemant511 I just tried it at HEAD, and it still crashes for me. I'm not sure why you're seeing something different, but it seems to be something about how you're running the test, so I've marked your comment off-topic to keep the issue uncluttered. If you would like help reproducing the issue, our Discord server is probably the best place to ask (see here).

from carbon-lang.