| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -14/+1 | |
| deduplicate infer var instantiation Having 3 separate implementations of one of the most subtle parts of our type system is not a good strategy if we want to maintain a sound type system :sparkles: while working on this I already found some subtle bugs in the existing code, so that's awesome :tada: cc #121159 This was necessary as I am not confident in my nll changes in #119106, so I am first cleaning this up in a separate PR. r? `@BoxyUwU` | ||||
| 2024-02-17 | use `instantiate_ty_var` in nll | lcnr | -14/+1 | |
| 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-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -1/+1 | |
| 2024-01-22 | Add some tests | Oli Scherer | -0/+39 | |
| 2023-08-14 | check for non-defining uses of RPIT | lcnr | -0/+64 | |
