fn main() {
    foo<<S as T>::V>(); //~ ERROR
}