Guillaume Gomez 9cb517aede Rollup merge of #123496 - lcnr:wf-ping, r=compiler-errors ...

ping on wf changes, remove fixme

extend core type system pings to `wf.rs`

r? `@compiler-errors`

2024-04-05 16:38:52 +02:00

..

solve

Rollup merge of #123477 - lcnr:forced_ambig-no-ice, r=compiler-errors

2024-04-04 21:16:58 -04:00

traits

Rollup merge of #123496 - lcnr:wf-ping, r=compiler-errors

2024-04-05 16:38:52 +02:00

errors.rs

Rename AddToDiagnostic as Subdiagnostic.

2024-03-11 10:04:49 +11:00

infer.rs

Remove EvaluatedToErrStackDependent

2024-03-31 20:44:30 -04:00

lib.rs

Check x86_64 size assertions on aarch64, too

2024-04-03 16:53:03 +11:00

regions.rs

Move trait into attr so it's greppable

2024-02-16 15:07:37 +00:00