Bug in type resolution.