| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | More cleanups | Florian Diebold | 2021-04-09 | 1 | -16/+0 |
| | | |||||
| * | Remove unused | Florian Diebold | 2021-04-08 | 1 | -18/+2 |
| | | |||||
| * | Add HasInterner bounds | Florian Diebold | 2021-04-08 | 1 | -1/+7 |
| | | |||||
| * | Remove obsolete Cast impls | Florian Diebold | 2021-04-08 | 1 | -47/+0 |
| | | |||||
| * | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -1/+21 |
| | | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. | ||||
| * | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -0/+53 |
| This includes starting to make use of Chalk's `Cast` trait. | |||||
 |
index : rust-analyzer | |
| [FORK] modified to work on wasm targets |
| aboutsummaryrefslogtreecommitdiff |