Don't eliminate pattern matching if scrutinee:AbstractClassType
Remove hardcoded List type