`targetName` on a type element is ignored

Compiler version

3.1.1-RC1

Minimized code

package com.example

import scala.annotation.targetName

class TargetName:
  def genericId[@targetName("this_is_ignored") *](value: *): * = value

Output

javap TargetName:

Compiled from "TargetName.scala"
public class com.example.TargetName {
  public com.example.TargetName();
  public <$times> $times genericId($times);
}

Expectation

Not sure if the expected result is a renamed type or a restriction on the use of targetName. Anyway, the compiler shows a warning if @targetName is not present:

type * has an operator name; it should come with an @targetName annotation

so I guess it is a bug 🙂

[odersky]

We should also check that other illegal target names are rejected. E.g. following:

import annotation.targetName

object Test extends App:

  @targetName("<init>") def test = ???

There are lots of other examples like this. One needs to consult the docs what constitutes a legal method name.

[odersky]

It looks like this would be pretty hard to change, and parameter names should not matter anyway for generic signatures.