D interface and domain problems

struct S {
    
    int x;
}

@safe
interface I {
    
    int func(ref scope S s) @nogc;
}

@safe
class C : I {
    
    int func(ref S s) {
    
        return 2*s.x;
    }
}

compiler not checked Domain properties ?
Compiling , But the problem is , The interface function There is one (refscopeS) Parameters , The class implementation is (refS). use dip25 and dip1000 Should compile . The problem is Sometimes It can lead to Segment error . Compilers seem to treat them differently . Be careful ,C.func There seems to be @nogc, The adaptive ?