Stream: t-compiler/help

Topic: Tracing source of obligations

Nathan Corbyn (May 10 2020 at 20:44, on Zulip):

I'm trying to debug an ICE caused by a malformed trait obligation (it's missing a required type argument). Is there a good way to to figure out where the obligation is being generated?

Last update: Sep 28 2020 at 16:30UTC