A type mismatched an associated type of a trait.