Matthias Krüger d4b276caa4

Rollup merge of #119816 - oli-obk:tait_ice_unify_obligations, r=lcnr ...

Define hidden types in confirmation

fixes  #111470

r? `@lcnr` or `@compiler-errors`

explanation in the newly added test

2024-01-16 17:55:22 +01:00

..

solve

Rollup merge of #119897 - compiler-errors:fulfillment-errors, r=lcnr

2024-01-15 08:44:48 +01:00

traits

Rollup merge of #119816 - oli-obk:tait_ice_unify_obligations, r=lcnr

2024-01-16 17:55:22 +01:00

errors.rs

Rename some Diagnostic setters.

2024-01-03 19:40:20 +11:00

infer.rs

Make InferCtxtExt::could_impl_trait less messed up

2024-01-13 22:00:34 +00:00

lib.rs

readd the provisional cache

2024-01-09 09:15:56 +01:00