mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make caveat more precise

Browse Source
This commit is contained in:
Nadrieril 2020-05-19 17:02:31 +01:00
parent 159f48cdc2
commit d7e1d5f0c2
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/librustc_mir_build/hair/pattern/_match.rs
View File

@ -65,8 +65,7 @@
///
/// Caveat: this constructors/fields distinction doesn't quite cover every Rust value. For example
/// a value of type `Rc<u64>` doesn't fit this idea very well, nor do various other things.
/// However, this idea covers everything that can be pattern-matched, and this is all we need for
/// exhaustiveness checking.
/// However, this idea covers most of the cases that are relevant to exhaustiveness checking.
///
///
/// # Algorithm