David Wood 47abf2e144

trait_sel: extend fast path with sized hierarchy ...

Extend the fast path for `Sized` traits to include constness and
`MetaSized`.

2025-06-16 23:04:35 +00:00

..

fulfill

Filter out universals and lifetimes from stalled_vars

2025-06-06 15:34:14 +00:00

inspect

Apply nested goals certainty to InspectGoals for normalizes-to

2025-06-09 17:02:09 +00:00

delegate.rs

trait_sel: extend fast path with sized hierarchy

2025-06-16 23:04:35 +00:00

fulfill.rs

Tweak fast path trait handling

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

inspect.rs

…

normalize.rs

Unify normalization of terms in deeply normalize

2025-06-07 02:35:28 +00:00

select.rs

Only instantiate impl args

2025-06-05 21:18:58 +00:00