// run-pass#![allow(dead_code)]// Test that traits can be implemented for extern types.#![feature(extern_types)]extern"C"{typeA;}traitFoo{fnfoo(&self){}}implFooforA{fnfoo(&self){}}fnassert_foo<T: ?Sized+Foo>(){}fnuse_foo<T: ?Sized+Foo>(x: &dynFoo){x.foo();}fnmain(){assert_foo::<A>();}