| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -2/+1 | |
| 2024-03-28 | check RPITs for invalid args | Ali MJ Al-Nasrawy | -0/+1 | |
| 2024-02-17 | use `instantiate_ty_var` in nll | lcnr | -1/+0 | |
| we already use `instantiate_const_var`. This does lose some debugging info for nll because we stop populating the `reg_var_to_origin` table with `RegionCtxt::Existential(None)`, I don't think that matters however. Supporting this adds additional complexity to one of the most involved parts of the type system, so I really don't think it's worth it. | ||||
| 2024-01-22 | Add some tests | Oli Scherer | -0/+13 | |
