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