[erlc] internal error in pass beam_validator_weak #6835
Description
On master,
f() ->
<<0 || <<X>> <= <<>>, <<(bnot X):(catch (0 = bnot X))>>>>.crashes erlc with the following error message
Function: '-f/0-lbc$^0/2-0-'/2
/home/rmorisset/minimized/validator_weak.erl: internal error in pass beam_validator_weak:
exception error: no match of right hand side value false
in function beam_validator:unpack_typed_arg/2 (beam_validator.erl, line 2822)
in call from beam_validator:'-vi/2-lc$^46/1-10-'/2 (beam_validator.erl, line 1100)
in call from beam_validator:'-vi/2-lc$^46/1-10-'/2 (beam_validator.erl, line 1100)
in call from beam_validator:vi/2 (beam_validator.erl, line 1100)
in call from beam_validator:validate_instrs/4 (beam_validator.erl, line 333)
in call from beam_validator:validate_1/5 (beam_validator.erl, line 276)
in call from beam_validator:validate_0/4 (beam_validator.erl, line 114)
in call from beam_validator:validate/2 (beam_validator.erl, line 56)