Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Target Feature: target_feature 1.1 #10

Open
Centril opened this issue Apr 10, 2018 · 1 comment
Open

Target Feature: target_feature 1.1 #10

Centril opened this issue Apr 10, 2018 · 1 comment
Labels
rfc target_feature

Comments

@Centril
Copy link
Owner

Centril commented Apr 10, 2018

@gnzlbg
Copy link

gnzlbg commented Apr 12, 2018

One major problem with #[target_feature] as proposed is that it cannot propagate effects properly. This makes it impossible for libraries to work around code-generation issues: rust-lang/stdarch#362 (comment)

An effect systems for target features would need to allow a caller to enable target features for their callees. This might mean that all Rust functions my need to be always polymorphic with respect to target-feature effects.

@gnzlbg gnzlbg mentioned this issue Feb 8, 2020
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
rfc target_feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Centril @gnzlbg