pub fn unsupported( construct: &str, reason: &str, span: Option<Span>, ) -> TranslationError
A precise obligation for a construct outside the portable core.