Matthias Krüger 0fcabec620 Rollup merge of #100888 - spastorino:coherence-negative-impls-implied-bounds, r=lcnr ... Coherence negative impls implied bounds Fixes #93875 This PR is rebased on top of #100789 and it would need to include that one which is already r+ed. r? ``@nikomatsakis`` cc ``@lcnr`` (which I've talked about 3222f420d9, I guess after you finish your reordering of modules and work with OutlivesEnvironmentEnv this commit can just be reverted).		2022-08-24 18:20:11 +02:00
..
traits	Rollup merge of #100888 - spastorino:coherence-negative-impls-implied-bounds, r=lcnr	2022-08-24 18:20:11 +02:00
autoderef.rs	Update TypeVisitor paths	2022-07-06 06:41:53 +01:00
infer.rs	Update TypeVisitor paths	2022-07-06 06:41:53 +01:00
lib.rs	Move InferCtxtExt to rustc_trait_selection	2022-08-23 08:55:43 -03:00