Mark return type as referenced for metadata in parameter decorators (#54994)

This commit is contained in:
Jake Bailey
2023-07-12 12:25:40 -07:00
committed by GitHub
parent 980f931bd5
commit 92cbf18e72
8 changed files with 267 additions and 0 deletions
+1
View File
@@ -40195,6 +40195,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
for (const parameter of containingSignature.parameters) {
markDecoratorMedataDataTypeNodeAsReferenced(getParameterTypeNodeForDecoratorCheck(parameter));
}
markDecoratorMedataDataTypeNodeAsReferenced(getEffectiveReturnTypeNode(containingSignature));
break;
}
}
@@ -0,0 +1,49 @@
//// [tests/cases/compiler/decoratorMetadataElidedImport.ts] ////
//// [observable.d.ts]
export declare class Observable<T> {}
//// [index.ts]
import { Observable } from './observable';
function whatever(a: any, b: any, c: any) {}
class Test {
foo(
@whatever arg1: string,
@whatever arg2: number
): Observable<string> {
return null!;
}
}
//// [index.js]
"use strict";
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
return c > 3 && r && Object.defineProperty(target, key, r), r;
};
var __metadata = (this && this.__metadata) || function (k, v) {
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
};
var __param = (this && this.__param) || function (paramIndex, decorator) {
return function (target, key) { decorator(target, key, paramIndex); }
};
Object.defineProperty(exports, "__esModule", { value: true });
const observable_1 = require("./observable");
function whatever(a, b, c) { }
class Test {
foo(arg1, arg2) {
return null;
}
}
__decorate([
__param(0, whatever),
__param(1, whatever),
__metadata("design:type", Function),
__metadata("design:paramtypes", [String, Number]),
__metadata("design:returntype", observable_1.Observable)
], Test.prototype, "foo", null);
@@ -0,0 +1,38 @@
//// [tests/cases/compiler/decoratorMetadataElidedImport.ts] ////
=== observable.d.ts ===
export declare class Observable<T> {}
>Observable : Symbol(Observable, Decl(observable.d.ts, 0, 0))
>T : Symbol(T, Decl(observable.d.ts, 0, 32))
=== index.ts ===
import { Observable } from './observable';
>Observable : Symbol(Observable, Decl(index.ts, 0, 8))
function whatever(a: any, b: any, c: any) {}
>whatever : Symbol(whatever, Decl(index.ts, 0, 42))
>a : Symbol(a, Decl(index.ts, 2, 18))
>b : Symbol(b, Decl(index.ts, 2, 25))
>c : Symbol(c, Decl(index.ts, 2, 33))
class Test {
>Test : Symbol(Test, Decl(index.ts, 2, 44))
foo(
>foo : Symbol(Test.foo, Decl(index.ts, 4, 12))
@whatever arg1: string,
>whatever : Symbol(whatever, Decl(index.ts, 0, 42))
>arg1 : Symbol(arg1, Decl(index.ts, 5, 8))
@whatever arg2: number
>whatever : Symbol(whatever, Decl(index.ts, 0, 42))
>arg2 : Symbol(arg2, Decl(index.ts, 6, 31))
): Observable<string> {
>Observable : Symbol(Observable, Decl(index.ts, 0, 8))
return null!;
}
}
@@ -0,0 +1,36 @@
//// [tests/cases/compiler/decoratorMetadataElidedImport.ts] ////
=== observable.d.ts ===
export declare class Observable<T> {}
>Observable : Observable<T>
=== index.ts ===
import { Observable } from './observable';
>Observable : typeof Observable
function whatever(a: any, b: any, c: any) {}
>whatever : (a: any, b: any, c: any) => void
>a : any
>b : any
>c : any
class Test {
>Test : Test
foo(
>foo : (arg1: string, arg2: number) => Observable<string>
@whatever arg1: string,
>whatever : (a: any, b: any, c: any) => void
>arg1 : string
@whatever arg2: number
>whatever : (a: any, b: any, c: any) => void
>arg2 : number
): Observable<string> {
return null!;
>null! : never
}
}
@@ -0,0 +1,47 @@
//// [tests/cases/compiler/decoratorMetadataElidedImport.ts] ////
//// [observable.d.ts]
export declare class Observable<T> {}
//// [index.ts]
import { Observable } from './observable';
function whatever(a: any, b: any, c: any) {}
class Test {
foo(
@whatever arg1: string,
@whatever arg2: number
): Observable<string> {
return null!;
}
}
//// [index.js]
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
return c > 3 && r && Object.defineProperty(target, key, r), r;
};
var __metadata = (this && this.__metadata) || function (k, v) {
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
};
var __param = (this && this.__param) || function (paramIndex, decorator) {
return function (target, key) { decorator(target, key, paramIndex); }
};
import { Observable } from './observable';
function whatever(a, b, c) { }
class Test {
foo(arg1, arg2) {
return null;
}
}
__decorate([
__param(0, whatever),
__param(1, whatever),
__metadata("design:type", Function),
__metadata("design:paramtypes", [String, Number]),
__metadata("design:returntype", Observable)
], Test.prototype, "foo", null);
@@ -0,0 +1,38 @@
//// [tests/cases/compiler/decoratorMetadataElidedImport.ts] ////
=== observable.d.ts ===
export declare class Observable<T> {}
>Observable : Symbol(Observable, Decl(observable.d.ts, 0, 0))
>T : Symbol(T, Decl(observable.d.ts, 0, 32))
=== index.ts ===
import { Observable } from './observable';
>Observable : Symbol(Observable, Decl(index.ts, 0, 8))
function whatever(a: any, b: any, c: any) {}
>whatever : Symbol(whatever, Decl(index.ts, 0, 42))
>a : Symbol(a, Decl(index.ts, 2, 18))
>b : Symbol(b, Decl(index.ts, 2, 25))
>c : Symbol(c, Decl(index.ts, 2, 33))
class Test {
>Test : Symbol(Test, Decl(index.ts, 2, 44))
foo(
>foo : Symbol(Test.foo, Decl(index.ts, 4, 12))
@whatever arg1: string,
>whatever : Symbol(whatever, Decl(index.ts, 0, 42))
>arg1 : Symbol(arg1, Decl(index.ts, 5, 8))
@whatever arg2: number
>whatever : Symbol(whatever, Decl(index.ts, 0, 42))
>arg2 : Symbol(arg2, Decl(index.ts, 6, 31))
): Observable<string> {
>Observable : Symbol(Observable, Decl(index.ts, 0, 8))
return null!;
}
}
@@ -0,0 +1,36 @@
//// [tests/cases/compiler/decoratorMetadataElidedImport.ts] ////
=== observable.d.ts ===
export declare class Observable<T> {}
>Observable : Observable<T>
=== index.ts ===
import { Observable } from './observable';
>Observable : typeof Observable
function whatever(a: any, b: any, c: any) {}
>whatever : (a: any, b: any, c: any) => void
>a : any
>b : any
>c : any
class Test {
>Test : Test
foo(
>foo : (arg1: string, arg2: number) => Observable<string>
@whatever arg1: string,
>whatever : (a: any, b: any, c: any) => void
>arg1 : string
@whatever arg2: number
>whatever : (a: any, b: any, c: any) => void
>arg2 : number
): Observable<string> {
return null!;
>null! : never
}
}
@@ -0,0 +1,22 @@
// @target: es2020
// @module: commonjs, esnext
// @strict: true
// @experimentalDecorators: true
// @emitDecoratorMetadata: true
// @filename: observable.d.ts
export declare class Observable<T> {}
// @filename: index.ts
import { Observable } from './observable';
function whatever(a: any, b: any, c: any) {}
class Test {
foo(
@whatever arg1: string,
@whatever arg2: number
): Observable<string> {
return null!;
}
}