aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/pat.rs
Commit message (Expand)AuthorAgeFilesLines
* Merge #8364bors[bot]2021-04-061-2/+2
|\
| * Use Box'es to reduce the size of hir_def::expr::Pat from 112 to 64 bytes on 6...Alexandru Macovei2021-04-061-2/+2
* | Move Ty accessors to TyExtLukas Wirth2021-04-061-1/+1
* | Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-5/+8
* | Use a constructor function for Static lifetimesLukas Wirth2021-04-061-9/+6
* | Add Lifetime to TyKind::RefLukas Wirth2021-04-061-8/+12
|/
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-3/+6
* Binders::subst -> substituteFlorian Diebold2021-04-051-2/+2
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-2/+2
* Add TyBuilder::adtFlorian Diebold2021-04-041-19/+7
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-1/+1
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-7/+10
* Fix box pattern inference panicLukas Wirth2021-03-211-6/+26
* clippy::complexity simplifications related to IteratorsMatthias Krüger2021-03-211-1/+1
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-5/+7
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-5/+5
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-6/+6
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-20/+21
* Use upstream cov-markLaurențiu Nicola2021-03-081-2/+1
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-1/+1
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-5/+6
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-1/+1
* Inline TypeCtor into TyLukas Wirth2021-02-281-15/+12
* Implement const pat inferenceLukas Wirth2020-12-231-1/+5
* Properly infer tuple struct patterns when encountering ellipsisLukas Wirth2020-11-241-9/+22
* Properly infer tuple patterns when encountering ellipsisLukas Wirth2020-11-241-8/+17
* Implement box pattern inferenceJonas Schievink2020-09-121-1/+13
* Rename record_field_pat to record_pat_fieldPavan Kumar Sunkara2020-09-101-1/+1
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+241