Skip to content

Commit 48f4616

Browse files
committed
clarify hierarchies
1 parent 96c3abb commit 48f4616

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

text/0000-target-feature-1.1.md

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -101,10 +101,11 @@ fn moo() {
101101
}
102102
```
103103

104-
> Note: while it is safe to call an SSE2 function from an AVX one, this would
105-
> require specifying how features relate to each other in hierarchies. This
106-
> would unnecessary complicate this RFC and can be done later once we agree on
107-
> the fundamentals.
104+
> Note: while it is safe to call an SSE2 function from _some_ AVX functions,
105+
> this would require specifying how features relate to each other in
106+
> hierarchies. It is unclear whether those hierarchies actually exist, but
107+
> adding them to this RFC wouldunnecessary complicate it and can be done
108+
> later or in parallel to this one, once we agree on the fundamentals.
108109
109110
First, this is still sound. The caller has a super-set of `#[target_features]`
110111
of the callee. That is, the `#[target_feature]`-related pre-conditions of the

0 commit comments

Comments
 (0)