aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/pat.rs
Commit message (Collapse)AuthorAgeFilesLines
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-20/+21
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* 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