bors 63e4312e6b Auto merge of #99217 - lcnr:implied-bounds-pre-norm, r=lcnr ... consider unnormalized types for implied bounds extracted, and slightly modified, from #98900 The idea here is that generally, rustc is split into things which can assume its inputs are well formed[^1], and things which have verify that themselves. Generally most predicates should only deal with well formed inputs, e.g. a `&'a &'b (): Trait` predicate should be able to assume that `'b: 'a` holds. Normalization can loosen wf requirements (see #91068) and must therefore not be used in places which still have to check well formedness. The only such place should hopefully be `WellFormed` predicates fixes #87748 and #98543 r? `@jackh726` cc `@rust-lang/types` [^1]: These places may still encounter non-wf inputs and have to deal with them without causing an ICE as we may check for well formedness out of order.		2022-08-09 16:39:43 +00:00
..
src	Auto merge of #99217 - lcnr:implied-bounds-pre-norm, r=lcnr	2022-08-09 16:39:43 +00:00
Cargo.toml	Initial (incomplete) implementation of transmutability trait.	2022-07-27 17:33:56 +00:00