lcnr 148fd9ad3c allow method calls on opaques

2025-09-26 16:33:15 +02:00

..

canonical

predefined opaques use List

2025-09-26 16:33:15 +02:00

solve

allow method calls on opaques

2025-09-26 16:33:15 +02:00

coherence.rs

Migrate more things in the new solver to specific DefIds

2025-09-02 11:35:25 +03:00

delegate.rs

Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU

2025-09-08 19:39:36 +00:00

lib.rs

move mod canonical out of eval_ctxt

2025-09-18 23:56:20 +02:00

placeholder.rs

…

resolve.rs

…