aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/chalk_cast.rs
Commit message (Expand)AuthorAgeFilesLines
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-0/+53