{{{
template RefType(T) {
    static if (is(T == class)) {
        alias T RefType;
    } else {
        alias T* RefType;
    }
}


template UnrefType(T) {
    static if (is(T == class)) {
        alias T UnrefType;
    } else {
        alias typeof(*T) UnrefType;
    }
}

struct P{
    int i;
}


void f(T)(){
    static if(is(typeof(function RefType!(P)(){ return new UnrefType!(P); }))){
        pragma(msg,"pippo");
    }
}

void g(){
    f!(P)();
}
}}}

crashes the compiler (1.055) it seems that unreferencing the structure (which cannot be done) really upsets the compiler.
This used to work, and basically anything syntactically parseable should be accepted in is(typeof()) without crashing the compiler (it should just return false).