You get 3. The parameter of a type is part of the type, so each different parameter value will be compiled differently. If you don’t want this, you probably don’t want to parametrize Foo on N.
1 Like
You get 3. The parameter of a type is part of the type, so each different parameter value will be compiled differently. If you don’t want this, you probably don’t want to parametrize Foo on N.