aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics
Commit message (Collapse)AuthorAgeFilesLines
* Nest all the or-patterns!Lukas Wirth2021-06-171-6/+3
|
* Merge #9260bors[bot]2021-06-141-1/+1
|\ | | | | | | | | | | | | | | 9260: tree-wide: make rustdoc links spiky so they are clickable r=matklad a=lf- Rustdoc was complaining about these while I was running with --document-private-items and I figure they should be fixed. Co-authored-by: Jade <[email protected]>
| * tree-wide: make rustdoc links spiky so they are clickableJade2021-06-141-1/+1
| |
* | internal: use cov-mark rather than bailing out diagnosticAleksey Kladov2021-06-131-14/+3
| |
* | internal: unified missing fields diagnosticAleksey Kladov2021-06-131-11/+7
| |
* | minor: put a mark backAleksey Kladov2021-06-131-0/+1
| |
* | clippy::redudant_borrowMaan20032021-06-132-4/+4
| |
* | internal: cross-crate cov-marksAleksey Kladov2021-06-121-0/+2
| |
* | internal: move diagnostics infra to hirAleksey Kladov2021-06-121-353/+6
| |
* | Move some hir_ty diagnostics to hirAleksey Kladov2021-06-123-1366/+91
| |
* | minor: reduce visibilityAleksey Kladov2021-06-121-3/+2
| |
* | internal: move missing unsafe diagnostic to hirAleksey Kladov2021-06-121-133/+15
|/
* internal: implement pattern adjustments.Dawer2021-06-011-2/+26
|
* minor: Avoid eprintln on panicDawer2021-06-012-13/+15
|
* 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-316-1925/+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
| | | | Pattern arena is broken
* 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
|
* Build wildcard witnesses instead of panickingDawer2021-05-311-8/+8
|
* Implement struct ctor applicationDawer2021-05-314-68/+120
|
* Add remaining Constructor variantsDawer2021-05-311-14/+56
|
* Complete usefulness::SubPatSet implDawer2021-05-311-3/+71
|
* List useless patterns in a useful match armDawer2021-05-311-9/+58
|
* Remove unneeded indirection on PatCtxtDawer2021-05-313-24/+24
|
* Enable generation of non-exhaustiveness witnessesDawer2021-05-313-13/+76
|
* Update match checking.Dawer2021-05-314-1/+1468
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fn is_useful , more skeletons Specify a lifetime on pattern references impl PatStack fill impl Matrix PatStack::pop_head_constructor Index-based approach struct PatCtxt fields construction fn Fields::wildcards split wildcard fn Constructor::is_covered_by_any(..) fn Matrix::specialize_constructor(..) impl Usefulness Initial work on witness construction Reorganize files Replace match checking diagnostic Handle types of expanded patterns unit match checking go brrr
* minor: it's Parameter, not ArgumentAleksey Kladov2021-05-311-3/+3
|