Michael Goulet 2a180a93a1 Get rid of ToPolyTraitRef

2025-01-18 18:47:17 +00:00

..

query

Begin to implement type system layer of unsafe binders

2024-12-22 21:57:57 +00:00

select

Get rid of ToPolyTraitRef

2025-01-18 18:47:17 +00:00

specialize

Do not project when there are unconstrained impl params

2025-01-03 05:01:14 +00:00

auto_trait.rs

nit: Remove redundant function

2024-12-26 17:35:07 +00:00

coherence.rs

add cache to AmbiguityCausesVisitor

2025-01-17 10:01:45 +01:00

const_evaluatable.rs

Remove some unnecessary .into() calls

2025-01-08 21:19:28 +00:00

dyn_compatibility.rs

Add feature gate, not working yet

2024-12-10 16:52:20 +00:00

effects.rs

Implement const Destruct in old solver

2025-01-08 18:14:58 +00:00

engine.rs

Fix transmute goal

2024-10-19 18:07:35 +00:00

fulfill.rs

Assert that obligations are empty before deeply normalizing

2024-12-02 22:51:18 +00:00

misc.rs

Add some convenience helper methods on hir::Safety

2024-12-14 20:31:07 +00:00

mod.rs

Leak check in impossible_predicates to avoid monomorphizing impossible instances

2025-01-14 01:51:16 +00:00

normalize.rs

Assert that obligations are empty before deeply normalizing

2024-12-02 22:51:18 +00:00

outlives_bounds.rs

remove non-borrowck member constraints

2024-12-20 10:04:01 +01:00

project.rs

new solver: prefer trivial builtin impls over where-clauses

2025-01-17 18:50:29 +00:00

structural_normalize.rs

Consolidate type system const evaluation under traits::evaluate_const

2024-11-12 02:54:03 +00:00

util.rs

Simplify fulfill_implication

2024-11-22 01:03:17 +00:00

vtable.rs

additional TypingEnv cleanups

2024-11-19 21:36:23 +01:00

wf.rs

Begin to implement type system layer of unsafe binders

2024-12-22 21:57:57 +00:00