Template decorators.

<!-- 🚨 STOP 🚨 𝗦𝗧𝗢𝗣 🚨 𝑺𝑻𝑶𝑷 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 3.7.5 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** Decorators, Templates I know decorators a experimental feature, so this issue is just to push it closer to production ready status. Notice, I tried typescript version 3.8 beta in the playground. For local check with tsc only two following flags are essential: "--experimentalDecorators --strict". It seems like typescript cant pass complex props type. Instead of passing `A | B`, it just pass `A`. Using a more simple type `A` will not produce any errors. **Code** ```ts import { Component, ComponentClass } from "react" const components = new Set<ComponentClass<any, any>>() function dec<P, S>(component: ComponentClass<P, S>) { components.add(component) } type Props = { x: number } & ( { y: number } | { z: number } ) @dec class C extends Component<Props> { } ``` **Expected behavior:** Everything works. **Actual behavior:** Following error: ``` Argument of type 'typeof C' is not assignable to parameter of type 'ComponentClass<{ x: number; } & { y: number; }, {}>'. Construct signature return types 'C' and 'Component<{ x: number; } & { y: number; }, {}, any>' are incompatible. …