Semantic equality to syntactic equality#401

Closed

basil-cow wants to merge 2 commits intorust-lang:masterfrom

basil-cow:sem_eq

Commits on May 21, 2020

alias eq mvp
basil-cow
committed
expand coinductive reasoning

nikomatsakis
authored and
basil-cow
committed