diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2019-04-22 13:14:43 -0700 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2019-04-22 13:14:43 -0700 |
| commit | 87ef96d3946ed4add766c0a2cd72d8443e92e4a0 (patch) | |
| tree | 5cf4cf08406215548278459fc7564847badef2d3 | |
| parent | 56b1ec06ee5645a47deb403334e5b8e18af22ba5 (diff) | |
review comment: add HACK comment
| -rw-r--r-- | src/librustc_mir/hair/pattern/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/librustc_mir/hair/pattern/mod.rs b/src/librustc_mir/hair/pattern/mod.rs index aff9d7b8eb0..e354ec3e0ba 100644 --- a/src/librustc_mir/hair/pattern/mod.rs +++ b/src/librustc_mir/hair/pattern/mod.rs @@ -986,6 +986,8 @@ impl<'a, 'tcx> PatternContext<'a, 'tcx> { } ty::Ref(_, ty::TyS { sty: ty::Adt(adt_def, _), .. }, _) if !self.tcx.has_attr(adt_def.did, "structural_match") => { + // HACK(estebank): Side-step ICE #53708, but anything other than erroring here + // would be wrong. Returnging `PatternKind::Wild` is not technically correct. let path = self.tcx.def_path_str(adt_def.did); let msg = format!( "to use a constant of type `{}` in a pattern, \ |