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

Commits

Commits on Aug 15, 2018