Make it a bit easier to debug TyKind::Error errors#70245

Closed

mark-i-m wants to merge 1 commit intorust-lang:masterfrom mark-i-m:ty-err

+323-251

Commits on Mar 23, 2020

make tykind::error bear a proof and delay span bug
mark-i-m
committed