rustc-dev-guide icon indicating copy to clipboard operation
rustc-dev-guide copied to clipboard

add section on overlap checks

Open jdonszelmann opened this issue 1 year ago • 1 comments

Added a section on overlap checks after talking with @lcnr

jdonszelmann avatar Aug 12 '24 23:08 jdonszelmann

I didn't know too much more to say specifically on the orphan check, maybe that's not needed as much either. However, I did put it in the broader context of coherence checking (and it's now moved under type checking)

jdonszelmann avatar Aug 13 '24 09:08 jdonszelmann