microsoft / microsoft/TypeScript
Leak of `noImplicitAny` checking with private static property
Open
Nobody has claimed this yet.
Bug
Domain: check: Type Inference
Help Wanted
- Dominant language
- Go
- Stars
- 111k
- Forks
- 14.3k
- Avg merge
- 2d 4h
- Merged PRs (30d)
- 132
Description
declare class C {
private static implicitAnyTypeProperty;
static inherited: typeof C.implicitAnyTypeProperty;
inherited: typeof C.implicitAnyTypeProperty;
}
expected:
$ node_modules/.bin/tsc index --noImplicitAny
index.ts(2,3): error TS7008: Member 'implicitAnyTypeProperty' implicitly has an 'any' type.
actual:
$ node_modules/.bin/tsc index --noImplicitAny
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Reproduce the issue with the shown declare class C example and tsc index --noImplicitAny; start by tracing type-checking for private static properties referenced through typeof C. Done means the compiler reports TS7008 for implicitAnyTypeProperty while checking the minimal example.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- typescript
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Clearly specified
- Newbie friendliness
- 42/100