68e70769c8
It seems unnatural to filter out error types, given that KtType does have a way to represent unresolved types.