minirust
minirust copied to clipboard
Better errors when well-formedness check fails
Currently WF-check just returns "no" when it fails, which is not very friendly. It should say what went wrong, and ideally also where.