loosen assertion against proj in collector
The collector was asserting a total absence of projections, but some projections are expected, even in trans: in particular, projections containing higher-ranked regions, which we don't currently normalize.
Showing
src/test/run-pass/issue-36381.rs
0 → 100644
想要评论请 注册 或 登录