aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/traits/chalk.rs
Commit message (Expand)AuthorAgeFilesLines
* Use VariableKinds in BindersFlorian Diebold2021-04-051-5/+5
* Hide Binders internals moreFlorian Diebold2021-04-051-21/+22
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-1/+1
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-5/+5
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-2/+2
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-5/+5
* Fix chalk_ir assertionFlorian Diebold2021-03-241-5/+3
* Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-211-2/+8
* Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-1/+1
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-7/+1
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-4/+4
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-8/+8
* Chalkify TraitRefFlorian Diebold2021-03-181-5/+5
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-9/+9
* Use hir formatter moreoxalica2021-03-151-1/+1
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-2/+2
* Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-131-1/+1
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-4/+3
* Use chalk_ir::ClosureIdFlorian Diebold2021-03-131-3/+3
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-2/+2
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-9/+8
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-13/+19
* Simplify a bitFlorian Diebold2021-03-121-10/+5
* Use Chalk Environment more directlyFlorian Diebold2021-03-121-2/+2
* Delete `ContainerId`Jonas Schievink2021-03-091-2/+2
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-8/+6
* Introduce Ty::AliasLukas Wirth2021-03-011-5/+5
* Lift FnPointer into a structLukas Wirth2021-02-281-3/+2
* Inline TypeCtor into TyLukas Wirth2021-02-281-4/+5
* Bump chalkLaurențiu Nicola2021-02-021-2/+2
* Make `ModuleId`'s `krate` field privateJonas Schievink2021-01-221-2/+2
* Bump chalkLaurențiu Nicola2020-12-231-2/+9
* Upgrade ChalkFlorian Diebold2020-12-071-3/+46
* Remove more unreachable pubsAleksey Kladov2020-11-021-1/+1
* Upgrade Chalk to 0.36Florian Diebold2020-10-301-11/+10
* `todo!()` -> `unimplemented!() // FIXME` for CICasey Primozic2020-10-061-2/+4
* Bump chalk to use latest git to get fixCasey Primozic2020-10-061-0/+12
* Update chalk to 0.28.0Bram van den Heuvel2020-09-251-2/+8
* Update chalk to 0.27 and adapt to chalk changes.Charles Lew2020-09-151-8/+14
* Merge #5971bors[bot]2020-09-131-21/+84
|\
| * Fix and prettify commentsoxalica2020-09-111-4/+6
| * Implement async blocksoxalica2020-09-101-21/+82
* | Lookup ADT and assoc. type names for chalk debugNathan Whitaker2020-09-091-5/+9
|/
* Lookup adt namesWilco Kusee2020-08-141-1/+2
* Print chalk programs in debug outputWilco Kusee2020-08-141-10/+12
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+586