Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
* | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 1 | -0/+53 |