| // Check that trait objects from #[fundamental] traits are not | |
| // treated as #[fundamental] types - the 2 meanings of #[fundamental] | |
| // are distinct. | |
| // aux-build:coherence_fundamental_trait_lib.rs | |
| // revisions: old re | |
| #![cfg_attr(re, feature(re_rebalance_coherence))] | |
| extern crate coherence_fundamental_trait_lib; | |
| use coherence_fundamental_trait_lib::{Fundamental, Misc}; | |
| pub struct Local; | |
| impl Misc for dyn Fundamental<Local> {} | |
| //[old]~^ ERROR E0117 | |
| //[re]~^^ ERROR E0117 | |
| fn main() {} |