Anthony Ramine a6d59d8714 Replace inheritance_integrity by trait shenanigans ... For each derived DomObject impl, we also generate a dummy trait ShouldNotImplDomObject that is implemented for all T: DomObject. We then try to implement it for each field type except the first one. If compilation succeed, this means that field type doesn't implement DomObject itself otherwise it would break coherence rules. error[E0119]: conflicting implementations of trait `dom::xmlhttprequest::_IMPL_DOMOBJECT_FOR_XMLHttpRequest::ShouldNotImplDomObject` for type `((), SomeFieldTypeThatShouldNotImplementDomObject)`: --> /Users/nox/src/servo/components/script/dom/xmlhttprequest.rs:120:1 | 120 | #[dom_struct] | ^^^^^^^^^^^^^ | | | first implementation here | conflicting implementation for `((), SomeFieldTypeThatShouldNotImplementDomObject)`		2017-02-15 22:11:20 +01:00
..
Cargo.toml	Derive DomObject with a proc macro	2017-02-14 14:13:43 +01:00
lib.rs	Replace inheritance_integrity by trait shenanigans	2017-02-15 22:11:20 +01:00