resolve difference in representing generic parameters between rustc and chalk

rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.

https://rust-lang.github.io/types-team/

Apache License 2.0

95 stars 19 forks source link

resolve difference in representing generic parameters between rustc and chalk #28

Open nikomatsakis opened 3 years ago

nikomatsakis commented 3 years ago

rustc represents generic parameters using special variants:

TyKind::TyParam
ReEarlyBound for regions

chalk has only one form of binding, which is used for everything.

These need to be reconciled. The general belief is that the chalk way is cleaner, but it makes debug output more challenging, since more context is required to figure things out.