aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Make block-local trait impls workFlorian Diebold2021-06-134-36/+138
* cargo fmtMaan20032021-06-132-9/+2
* clippy::redundant_field_namesMaan20032021-06-131-1/+1
* clippy::redundant_closureMaan20032021-06-134-5/+5
* clippy::useless_conversionMaan20032021-06-131-1/+1
* clippy::redudant_borrowMaan20032021-06-1310-29/+29
* Merge #9239bors[bot]2021-06-125-54/+183
|\
| * Fix coercion in match with expected typeFlorian Diebold2021-06-125-54/+183
* | internal: cross-crate cov-marksAleksey Kladov2021-06-121-0/+2
|/
* internal: move diagnostics infra to hirAleksey Kladov2021-06-124-612/+13
* Move some hir_ty diagnostics to hirAleksey Kladov2021-06-124-1763/+97
* minor: reduce visibilityAleksey Kladov2021-06-121-3/+2
* internal: move missing unsafe diagnostic to hirAleksey Kladov2021-06-123-162/+21
* internal: move inference diagnostics to hirAleksey Kladov2021-06-123-239/+10
* Set enable_proc_attr_macros in hir_ty TestDBJonas Schievink2021-06-031-1/+9
* Merge #9104bors[bot]2021-06-032-1/+64
|\
| * Implement `#[rustc_skip_array_during_method_dispatch]`Jonas Schievink2021-06-012-1/+64
* | Merge #9105bors[bot]2021-06-035-15/+50
|\ \
| * | internal: implement pattern adjustments.Dawer2021-06-013-2/+35
| * | minor: Avoid eprintln on panicDawer2021-06-012-13/+15
* | | Fix bind patterns always being treated as ref taking patternsLukas Wirth2021-06-022-19/+32
| |/ |/|
* | Implement per-edition preludesJonas Schievink2021-06-015-44/+97
|/
* Merge #8717bors[bot]2021-05-315-805/+2767
|\
| * Expand fixme commentsDawer2021-05-313-2/+5
| * fix: panic on extra fields in a patternDawer2021-05-311-0/+25
| * Correct binding pattern's type; handle invalid records.Dawer2021-05-311-5/+55
| * Take substitutions into account.Dawer2021-05-313-14/+33
| * eprint panic contextDawer2021-05-313-14/+36
| * minor: doc comment pat_utilDawer2021-05-311-0/+4
| * Test match guards, reference patternsDawer2021-05-311-0/+51
| * Box field detection; test #[non-exhaustive] attributeDawer2021-05-313-10/+52
| * Better tests: check if match checking bails out.Dawer2021-05-312-1/+69
| * Replace the old match checking algorithmDawer2021-05-317-1927/+311
| * Include old testsDawer2021-05-311-69/+597
| * Don't panic on a pattern of unresolved ADT variant.Dawer2021-05-312-50/+14
| * Clean up, more docs.Dawer2021-05-314-101/+383
| * Check pattern types.Dawer2021-05-313-30/+85
| * Expand binding patterns.Dawer2021-05-312-6/+110
| * Fix visibility warningsDawer2021-05-313-12/+12
| * Lower binding patternDawer2021-05-312-9/+28
| * Lower bool literalsDawer2021-05-312-13/+29
| * Treat ctor of unhandled type as non-exhaustive.Dawer2021-05-312-4/+24
| * Lower Pat::PathDawer2021-05-311-0/+18
| * Do not do match check if lowering failed.Dawer2021-05-311-2/+19
| * Fix panics on pattern_arena.borrow with ugly cloningDawer2021-05-312-16/+15
| * Basic lowering hir_def::exrp::Pat -> typed HIR.Dawer2021-05-315-164/+387
| * Handle unordered fields in struct patternsDawer2021-05-311-2/+12
| * Complete field replacingDawer2021-05-311-2/+7
| * Support bool literal patternsDawer2021-05-312-9/+182
| * Check enum patternsDawer2021-05-313-6/+124