assertSame(baseType, baseType.narrowBy(BaseType.class));
assertSame(baseType, baseType.widenBy(BaseType.class));
// Also: no narrowing for simple types (but should there be?)
try {
baseType.narrowBy(SubType.class);
} catch (IllegalArgumentException e) {
verifyException(e, "should never be called");
}
// Also, let's try assigning bogus handler