modeling functions, function types, and early/late-bound regions

rust-lang / a-mir-formality

a model of MIR and the Rust type/trait system

Apache License 2.0

285 stars 33 forks source link

modeling functions, function types, and early/late-bound regions #98

Open nikomatsakis opened 2 years ago

nikomatsakis commented 2 years ago

https://github.com/nikomatsakis/a-mir-formality/pull/97 adds in a fn-def type that unifies early/late bound parameters into a single list. It also includes a better approach to implied bounds. But there's lots of work to do to handle fn-def types properly:

[ ] #99
[x] #100
[x] #101

nikomatsakis commented 2 years ago

@voidc was interested into looking into some of these tasks.