11 commits

Author	SHA1	Message	Date
Laurențiu Nicola	fc9eed4836	Use upstream cov-mark	2021-03-08 22:19:44 +02:00
Lukas Wirth	50e01d2bc7	Use chalk_ir::AdtId	2021-03-04 19:38:02 +01:00
Lukas Wirth	7072f59fc6	Use chalk_ir::Mutability	2021-03-01 19:57:36 +01:00
Lukas Wirth	0e995adcf6	Turn Ty::Tuple variant into a tuple-variant	2021-02-28 20:39:43 +01:00
Lukas Wirth	a3f5491a1a	Inline TypeCtor into Ty	2021-02-28 19:13:37 +01:00
Lukas Wirth	0a780c0ab3	Implement const pat inference	2020-12-23 12:15:38 +01:00
Lukas Wirth	a5efefd3d7	Properly infer tuple struct patterns when encountering ellipsis	2020-11-24 16:11:40 +01:00
Lukas Wirth	35dd62e915	Properly infer tuple patterns when encountering ellipsis	2020-11-24 13:56:20 +01:00
Jonas Schievink	07a704e31c	Implement box pattern inference	2020-09-12 21:18:57 +02:00
Pavan Kumar Sunkara	4d97f5f037	Rename record_field_pat to record_pat_field	2020-09-10 18:56:04 +02:00
Aleksey Kladov	6a77ec7bbe	Rename ra_hir_ty -> hir_ty	2020-08-13 16:35:29 +02:00

Renamed from crates/ra_hir_ty/src/infer/pat.rs (Browse further)