here. Some of this may have been poorly rebased, though I tried to be careful and preserve the spirit of the test.
check it more easily; also extend object safety to cover sized types as well as static methods. This makes it sufficient so that we can always ensure that `Foo : Foo` holds for any trait `Foo`.