2911 assumes that patterns are checked before expressions, and therefore, if the pattern is Ppat_tuple, the expression will be checked with expected type Ttuple. Therefore, if the expected type of the expression is not Ttuple, then the corresponding pattern must be not Ppat_tuple.
2911 will fatal_error if this assumption is not met, for extra sanity.
This assumption is obviously wrong for many reasons. This PR removes that assumption.
2911 assumes that patterns are checked before expressions, and therefore, if the pattern is
Ppat_tuple
, the expression will be checked with expected typeTtuple
. Therefore, if the expected type of the expression is notTtuple
, then the corresponding pattern must be notPpat_tuple
.2911 will
fatal_error
if this assumption is not met, for extra sanity.This assumption is obviously wrong for many reasons. This PR removes that assumption.