bors cd81f5b27e Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercote ... Diagnostic renaming 3 A sequel to https://github.com/rust-lang/rust/pull/121780. r? `@davidtwco`		2024-03-11 00:34:44 +00:00
..
solve	fix metadata for dyn-star in new solver	2024-03-10 20:24:00 +01:00
traits	Auto merge of #122150 - ShoyuVanilla:replace-typewalker, r=lcnr	2024-03-09 12:02:25 +00:00
errors.rs	Rename AddToDiagnostic as Subdiagnostic.	2024-03-11 10:04:49 +11:00
infer.rs	Move trait into attr so it's greppable	2024-02-16 15:07:37 +00:00
lib.rs	Convert ProofTreeVisitor to use VisitorResult	2024-03-05 13:30:49 -05:00
regions.rs	Move trait into attr so it's greppable	2024-02-16 15:07:37 +00:00