Michael Goulet b138202002 TypeVisiting binders no longer requires TypeFolding its interior

2025-06-13 17:54:45 +00:00

..

solve

TypeVisiting binders no longer requires TypeFolding its interior

2025-06-13 17:54:45 +00:00

canonicalizer.rs

Make connection between Placeholder and Bound a bit more clear in the type abstraction

2025-06-13 17:54:45 +00:00

coherence.rs

Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputType

2025-03-20 02:17:14 +00:00

delegate.rs

Tweak fast path trait handling

2025-05-29 11:14:36 +00:00

lib.rs

Uplift BoundVarReplacer

2025-06-13 17:54:45 +00:00

placeholder.rs

Uplift BoundVarReplacer

2025-06-13 17:54:45 +00:00

resolve.rs

add additional TypeFlags fast paths

2025-05-26 19:57:48 +00:00