They should not be applied in expression or pattern contexts, unless there are other explicitly given type args.