2 Commits

Author	SHA1	Message	Date
Niko Matsakis	8f5d225933	Extend object safety so that methods with Sized:Self are exempt.	2015-02-23 15:28:26 -05:00
Niko Matsakis	19dcecb225	Refactor object-safety into its own (cached) module so that we can ... 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`.	2015-01-02 12:08:36 -05:00