The first place I ran into this was in inferred type args, so that wouldn't be sufficient.