// Test that the same coverage rules apply even if the local type appears in the | |
// list of type parameters, not the self type. | |
// aux-build:coherence_lib.rs | |
// revisions: old re | |
#![cfg_attr(re, feature(re_rebalance_coherence))] | |
extern crate coherence_lib as lib; | |
use lib::{Remote1, Pair}; | |
pub struct Local<T>(T); | |
impl<T, U> Remote1<Pair<T, Local<U>>> for i32 { } | |
//[old]~^ ERROR type parameter `T` must be used as the type parameter for some local type | |
//[re]~^^ ERROR E0117 | |
fn main() { } |