a-mir-formality icon indicating copy to clipboard operation
a-mir-formality copied to clipboard

Published 20 hours ago • verified publisher icon rust-lang

coherence spike

Open nikomatsakis opened this issue 3 years ago • 0 comments

We need a spike that tests out the basic coherence rules. This may require a few different code examples.

Work items:

  • [ ] #65 (includes fundamental)
  • [ ] #72
  • [ ] model fundamental traits in overlap check
  • [ ] #73

nikomatsakis avatar May 31 '22 19:05 nikomatsakis