aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/chalk_cast.rs
Commit message (Expand)AuthorAgeFilesLines
* Add HasInterner boundsFlorian Diebold2021-04-081-1/+7
* Remove obsolete Cast implsFlorian Diebold2021-04-081-47/+0
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-1/+21
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-0/+53