Nope. `struct S{int* p;}`. `S` is mutable, but `is(const(T) : T)` is false.