Review type checker when dealing with object with only virtual definitions