aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
Commit message (Expand)AuthorAgeFilesLines
* internal: move diagnostics to hirAleksey Kladov2021-05-251-0/+1
* Add test for #8931 and better checkingFlorian Diebold2021-05-231-11/+83
* Rework obligation handlingFlorian Diebold2021-05-211-1/+2
* Fix HIR expecting errors to unify with anythingFlorian Diebold2021-05-211-0/+56
* Fix coercion of two closures to a function pointerFlorian Diebold2021-05-211-0/+1
* Rewrite coercion using the new unificationFlorian Diebold2021-05-211-0/+11
* Add more tests, refactor array lengths/consteval workJade2021-05-141-0/+1
* Add lowering of array lengths in typesJade2021-05-131-3/+6
* Add basic support for array lengths in typesJade2021-05-111-2/+5
* Exclude inherent traits from flyimportsKirill Bulatov2021-04-161-0/+1
* More cleanups / module docsFlorian Diebold2021-04-091-2/+2
* More cleanupsFlorian Diebold2021-04-091-22/+20
* More moving stuff aroundFlorian Diebold2021-04-091-55/+6
* Move ToChalk -> mappingFlorian Diebold2021-04-091-1/+1
* Reorganize hir_ty modulesFlorian Diebold2021-04-091-1/+6
* Intern SubstitutionsFlorian Diebold2021-04-081-2/+2
* Remove unusedFlorian Diebold2021-04-081-3/+0
* Replace remaining `fold` callsFlorian Diebold2021-04-081-0/+27
* Replace some `fold` callsFlorian Diebold2021-04-081-0/+26
* Fix shifted_{in,out} callsFlorian Diebold2021-04-081-4/+4
* Fix subst_prefixFlorian Diebold2021-04-081-1/+4
* Impl Fold for CallableSigFlorian Diebold2021-04-081-0/+18
* Add HasInterner boundsFlorian Diebold2021-04-081-4/+11
* Allow unusedFlorian Diebold2021-04-081-0/+3
* Replace all the types by their Chalk versionsFlorian Diebold2021-04-081-4/+31
* Merge #8409bors[bot]2021-04-071-17/+13
|\
| * Make Canonical::new a free-standing functionFlorian Diebold2021-04-071-10/+12
| * Move hir_trait_id to extension traitFlorian Diebold2021-04-071-7/+1
* | Move `equals_ctor` to `TyExt`Florian Diebold2021-04-071-31/+1
|/
* Remove Ty::substs{_mut}Florian Diebold2021-04-071-28/+0
* Move Ty::builtin_derefLukas Wirth2021-04-071-8/+0
* Align `InferenceVar` to ChalkFlorian Diebold2021-04-061-1/+1
* Move Ty accessors to TyExtLukas Wirth2021-04-061-211/+3
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-3/+26
* Use a constructor function for Static lifetimesLukas Wirth2021-04-061-0/+4
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-4/+4
* Align FnPointer with ChalkFlorian Diebold2021-04-051-6/+7
* Substitution::prefix -> subst_prefixFlorian Diebold2021-04-051-4/+3
* Get rid of Substitution::suffixFlorian Diebold2021-04-051-6/+0
* Remove some unused methods, move some to types.rsFlorian Diebold2021-04-051-29/+0
* Binders::wrap_empty -> wrap_empty_bindersFlorian Diebold2021-04-051-7/+5
* Substitution::single -> from1Florian Diebold2021-04-051-9/+0
* Move ProjectionTy methods to extension traitFlorian Diebold2021-04-051-24/+2
* Replace unused hir_ty::Lifetime with chalk equivalentsLukas Wirth2021-04-051-2/+12
* Rename shift_bound_vars{_out} to align with ChalkFlorian Diebold2021-04-051-2/+3
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-5/+5
* Binders::subst -> substituteFlorian Diebold2021-04-051-4/+4
* Use VariableKinds in BindersFlorian Diebold2021-04-051-10/+16
* Hide Binders internals moreFlorian Diebold2021-04-051-33/+11
* Pass interner to TraitRef::self_type_parameterLaurențiu Nicola2021-04-051-3/+5