chalk lowering rule: ProjectionEq-Normalize#52153

Merged

bors merged 1 commit intorust-lang:masterfrom csmoe:projeq_normal

Nov 14, 2018

+44-1

Commits on Nov 13, 2018

Implement ProjectionEq-Normalize

csmoe
authored and
scalexm
committed