class decorator could change type of the decorated class

[ZeeD]

Can a class decorator "change" the type of the decorated class?
My issue is with a "wrapper" class that I created, but I can replicate with even this example:

@str
class C: ...
reveal_type(C)

if I launch mypy I see

$ mypy <(echo '@str
> class C: ...
> reveal_type(C)')
/dev/fd/63:3: note: Revealed type is 'def () -> __main__.C'
$

while C, actually, has became a str!

[msullivan]

Yeah, we basically don't do any typechecking of class decorators at all. This is definitely a bug (and a duplicate of #3135) but mostly it hasn't seemed to be a problem!

I think it is somewhat unlikely we will ever understand complicated class decorator behaviors, but we could certainly do better here. I think we'd be more likely to just reject this call than to turn C into a variable of type str, though.

[ZeeD]

Sorry for the duplicate, I couldn't find similar issues.
As I said, the "str" was just a "minimal reproducible example", my original problem was with a "wrapper class that act as a replacement".
By the way, I remember to have seen (in a private repo) code with a "singleton" decorator that basically instantiated the class