// "@Raw" means "@Raw B @NonRaw A", but method overrides take precedence. void raw() @Raw { //:: (type.incompatible) super.nonRaw(); }