rust/compiler/rustc_trait_selection/src
Michael Goulet 4723a9ad14
Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnr
Make object bound candidates sound in the new trait solver

r? `@lcnr`
2023-02-25 11:53:11 -08:00
..
solve Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnr 2023-02-25 11:53:11 -08:00
traits Rename many interner functions. 2023-02-24 07:32:24 +11:00
errors.rs errors: generate typed identifiers in each crate 2023-02-22 09:15:53 +00:00
infer.rs Rollup merge of #108350 - compiler-errors:assoc-type-bound-dogfooding, r=oli-obk 2023-02-23 06:18:07 +01:00
lib.rs errors: generate typed identifiers in each crate 2023-02-22 09:15:53 +00:00