[wish] :mquote:nice <.s(foo).msg{*ugly*}> #63
Description
Sometimes I want to assert a message talk about the variable X34 without quoting the entire message, eg. "coq complains variable x is illtyped"
{{ message }}