librustc: Implement coercion for monomorphic traits
librustc: Implement coercion for generic traits