Matthias Krüger 938897e2e4 Rollup merge of #100121 - Nilstrieb:mir-validator-param-env, r=oli-obk ... Try normalizing types without RevealAll in ParamEnv in MIR validation Before, the MIR validator used RevealAll in its ParamEnv for type checking. This could cause false negatives in some cases due to RevealAll ParamEnvs not always use all predicates as expected here. Since some MIR passes like inlining use RevealAll as well, keep using it in the MIR validator too, but when it fails usign RevealAll, also try the check without it, to stop false negatives. Fixes #99866 cc ````````@compiler-errors```````` who nicely helped me on zulip		2022-09-02 18:21:58 +02:00
..
const_eval	tracing::instrument cleanup	2022-09-01 14:54:27 +00:00
interpret	Directly use the instrument macro instead of its full path	2022-09-01 14:53:46 +00:00
transform	Rollup merge of #100121 - Nilstrieb:mir-validator-param-env, r=oli-obk	2022-09-02 18:21:58 +02:00
util	Auto merge of #100064 - RalfJung:disaligned, r=petrochenkov	2022-08-03 16:09:56 +00:00
errors.rs	Addressing last comment on PR review	2022-08-22 12:14:49 -03:00
lib.rs	Revert let_chains stabilization	2022-08-29 19:34:11 +02:00
might_permit_raw_init.rs	fix ICE with extra-const-ub-checks	2022-08-21 20:00:38 -04:00