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

Formalize the notion of `#[fundamental]` #714

Open

Centril opened this issue Nov 7, 2019 · 0 comments

Labels

A-types

Contributor

Centril commented Nov 7, 2019

Context: #703

I think we sorta want to give a description of behavior for any arbitrary fundamental type that is semi-syntactic in that it talks about type arguments and type constructors and how those relate wrt. locality and such. Then we can itemize a list of fundamental type constructors.

I changed the fundamental types part to use the type constructor wording, but I leave it to Niko to define what they are :)

cc @nikomatsakis

Centril added the A-types label

Centril mentioned this issue

Update coherence and orphan rules documentation to match RFC 2451 #703

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment