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

handle ExprKind::NeverToAny

Browse Source
This commit is contained in:
Ellen 2021-09-07 00:06:44 +01:00
parent fc63e9a8fb
commit 4cbcb0936a
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/rustc_trait_selection/src/traits/const_evaluatable.rs
View File

@ -418,8 +418,6 @@ impl<'a, 'tcx> AbstractConstBuilder<'a, 'tcx> {
let arg = self.recurse_build(source)?;
self.add_node(Node::Cast(arg, node.ty), node.span)
},
// never can arise even without panic/fail to terminate
&ExprKind::NeverToAny { source } => todo!(),
// FIXME(generic_const_exprs) we want to support these
ExprKind::AddressOf { .. }
@ -428,6 +426,7 @@ impl<'a, 'tcx> AbstractConstBuilder<'a, 'tcx> {
| ExprKind::Repeat { .. }
| ExprKind::Array { .. }
| ExprKind::Block { .. }
| ExprKind::NeverToAny { .. } // I dont think we can get this without adt construction
| ExprKind::Tuple { .. }
| ExprKind::Index { .. }
| ExprKind::Field { .. }