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

replace "fact" type parameters with associated types #111

Closed

nikomatsakis opened this issue Aug 30, 2019 · 0 comments · Fixed by #130

Contributor

nikomatsakis commented Aug 30, 2019

At some point we should probably make a "dummy type" with associates types...

trait FactTypes {
    type Region: Atom;
    type Loan: Atom;
    type Path: Atom;
    type Variable: Atom;
}

etc

But not in this PR =)

Originally posted by @nikomatsakis in #110

csmoe mentioned this issue

replace fact type parameters with FactTypes #130

Merged

nikomatsakis closed this as completed in #130

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