On Tuesday, 17 December 2013 at 21:28:12 UTC, Andrea Fontana wrote: > Hey didn't this mean "is derived from"? :) >>> >>> Is there a way to check this at compile time? >> >> is(T : MyClass1) It actually means "is implicitly convertable to", which "is derived from" satisfies.