Léo Lanteri Thauvin f2cbbb93a2 Rollup merge of #88218 - Aaron1011:missing-method-dyn, r=nagisa ... Remove `Session.trait_methods_not_found` Instead, avoid registering the problematic well-formed obligation to begin with. This removes global untracked mutable state, and avoids potential issues with incremental compilation.		2021-08-25 15:48:51 +02:00
..
infer	Rollup merge of #88230 - steffahn:a_an, r=oli-obk	2021-08-23 20:45:49 +02:00
traits	Rollup merge of #88218 - Aaron1011:missing-method-dyn, r=nagisa	2021-08-25 15:48:51 +02:00
lib.rs	Remove box syntax from rustc_infer	2021-08-18 09:25:26 +02:00