Code

Welcome opaque types into the fold#92006

Code

Merged

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom oli-obk:welcome_opaque_types_into_the_foldoli-obk/rust:welcome_opaque_types_into_the_foldCopy head branch name to clipboardJan 14, 2022

+61-80

Commits

Commits on Dec 16, 2021

• Remove some noise from opaque type errors around associated types

  oli-obk

  committed
  689a868

  Copy full SHA for 689a868

• Eagerly instantiate opaque types

  oli-obk

  committed
  5c46002

  Copy full SHA for 5c46002

• Prove obligations to termination instead of ignoring ambiguities.

  Show description for bdeeb07
  oli-obk

  committed
  bdeeb07

  Copy full SHA for bdeeb07