diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-01-02 16:35:07 -0800 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-01-09 16:46:15 -0800 |
| commit | b390fc4cf1e7293716cd8d80ec532df232022324 (patch) | |
| tree | 5aaa7217bd7283c11208c5d070534d6f4cf5ad51 | |
| parent | 0cf52a7dd8fbe68e85471fd9254d8e2e025a03d8 (diff) | |
| download | rust-b390fc4cf1e7293716cd8d80ec532df232022324.tar.gz rust-b390fc4cf1e7293716cd8d80ec532df232022324.zip | |
Error when new syntax is lowered
This means the new syntax will always fail to compile, even when the feature gate is enabled. These checks will be removed in a later PR once the implementation is done.
| -rw-r--r-- | src/librustc_ast_lowering/item.rs | 6 | ||||
| -rw-r--r-- | src/librustc_ast_lowering/lib.rs | 4 |
2 files changed, 10 insertions, 0 deletions
diff --git a/src/librustc_ast_lowering/item.rs b/src/librustc_ast_lowering/item.rs index a5892a22d9d..7c95b2a86c6 100644 --- a/src/librustc_ast_lowering/item.rs +++ b/src/librustc_ast_lowering/item.rs @@ -71,6 +71,12 @@ impl<'a, 'lowering, 'hir> Visitor<'a> for ItemLowerer<'a, 'lowering, 'hir> { self.lctx.with_parent_item_lifetime_defs(hir_id, |this| { let this = &mut ItemLowerer { lctx: this }; if let ItemKind::Impl(.., ref opt_trait_ref, _, _) = item.kind { + if opt_trait_ref.as_ref().map(|tr| tr.constness.is_some()).unwrap_or(false) { + this.lctx + .diagnostic() + .span_err(item.span, "const trait impls are not yet implemented"); + } + this.with_trait_impl_ref(opt_trait_ref, |this| visit::walk_item(this, item)); } else { visit::walk_item(this, item); diff --git a/src/librustc_ast_lowering/lib.rs b/src/librustc_ast_lowering/lib.rs index 385153b62ce..73d1e497258 100644 --- a/src/librustc_ast_lowering/lib.rs +++ b/src/librustc_ast_lowering/lib.rs @@ -2579,6 +2579,10 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> { p: &PolyTraitRef, mut itctx: ImplTraitContext<'_, 'hir>, ) -> hir::PolyTraitRef<'hir> { + if p.trait_ref.constness.is_some() { + self.diagnostic().span_err(p.span, "`?const` on trait bounds is not yet implemented"); + } + let bound_generic_params = self.lower_generic_params( &p.bound_generic_params, &NodeMap::default(), |