From 71b9069938ba6f0d4a75427f19d7ff859d5fdcb6 Mon Sep 17 00:00:00 2001 From: gnzlbg Date: Wed, 27 Nov 2019 17:23:21 +0100 Subject: [PATCH] Clarify when the impl target_feature Trait can work --- text/0000-target-feature-1.1.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/text/0000-target-feature-1.1.md b/text/0000-target-feature-1.1.md index e1309b08108..c8a5398dd89 100644 --- a/text/0000-target-feature-1.1.md +++ b/text/0000-target-feature-1.1.md @@ -237,9 +237,14 @@ the language (beyond just a simple attribute) which could lead to the deprecation of the `#[target_feature]` attribute. It is also unclear how any of this interacts with effect-polymorphism at this -point, but we could support something like `impl const Trait` and `T: const Trait`: +point, but we could _maybe_ support something like `impl const Trait` and `T: +const Trait`: ```rust impl #[target_feature(enable = "...")] Trait for Type { ... } fn foo(...) { ...} ``` + +if all trait methods are `unsafe`; otherwise they can't have the +`#[target_feature]` attribute. +