Skip to content

Warn if the user tries to use GATs#53364

Merged
bors merged 2 commits intorust-lang:masterfrom
varkor:gat-warn-broken
Aug 16, 2018
Merged

Warn if the user tries to use GATs#53364
bors merged 2 commits intorust-lang:masterfrom
varkor:gat-warn-broken

Commits

Commits on Aug 15, 2018