bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Require #[const_trait] for const impls

Browse source
This commit is contained in:
Deadbeef 2022-07-30 18:01:03 +00:00
parent 22f6aec42d
commit 81b1810cd7
5 changed files with 27 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
compiler/rustc_passes/src/check_const.rs
View file

@ -192,6 +192,28 @@ impl<'tcx> Visitor<'tcx> for CheckConstVisitor<'tcx> {
}
fn visit_item(&mut self, item: &'tcx hir::Item<'tcx>) {
let tcx = self.tcx;
if let hir::ItemKind::Impl(hir::Impl {
constness: hir::Constness::Const,
of_trait: Some(trait_ref),
..
}) = item.kind
{
let def_id = trait_ref.trait_def_id().unwrap();
let source_map = tcx.sess.source_map();
if !tcx.has_attr(def_id, sym::const_trait) {
tcx.sess
.struct_span_err(
source_map.guess_head_span(item.span),
"const `impl`s must be for traits marked with `#[const_trait]`",
)
.span_note(
source_map.guess_head_span(tcx.def_span(def_id)),
"this trait must be annotated with `#[const_trait]`",
)
.emit();
}
}
intravisit::walk_item(self, item);
}