const FORMAL_TWICE: &str = "`formal` is given twice on this parameter; a parameter has one R \ formal, so keep one of them";
The error of a second formal on one parameter (#1842).
formal