aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/chalk_cast.rs
Commit message (Collapse)AuthorAgeFilesLines
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-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::DomainGoalFlorian Diebold2021-03-201-0/+53
This includes starting to make use of Chalk's `Cast` trait.