Skip to content

Disable unsound T[K] rule in subtype relations #39249

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jun 25, 2020
Merged

Disable unsound T[K] rule in subtype relations #39249

merged 2 commits into from
Jun 25, 2020

Conversation

ahejlsberg
Copy link
Member

Fixes #39241.

@ahejlsberg
Copy link
Member Author

@typescript-bot test this
@typescript-bot user test this
@typescript-bot run dt

@typescript-bot
Copy link
Collaborator

typescript-bot commented Jun 25, 2020

Heya @ahejlsberg, I've started to run the extended test suite on this PR at 3bca716. You can monitor the build here.

@typescript-bot
Copy link
Collaborator

typescript-bot commented Jun 25, 2020

Heya @ahejlsberg, I've started to run the parallelized Definitely Typed test suite on this PR at 3bca716. You can monitor the build here.

@typescript-bot
Copy link
Collaborator

typescript-bot commented Jun 25, 2020

Heya @ahejlsberg, I've started to run the parallelized community code test suite on this PR at 3bca716. You can monitor the build here.

@DanielRosenwasser
Copy link
Member

Hm, not clear if something went wrong with these builds

@ahejlsberg
Copy link
Member Author

Test runs look clean. The issues in the DT and user code test suites are all preexisting conditions.

Copy link
Member

@DanielRosenwasser DanielRosenwasser left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hard to understand what else this will affect, but it seems to be low-impact on existing code and correct.

@ahejlsberg ahejlsberg merged commit 8df85b5 into master Jun 25, 2020
@DanielRosenwasser DanielRosenwasser deleted the fix39241 branch June 26, 2020 17:45
cangSDARM added a commit to cangSDARM/TypeScript that referenced this pull request Jun 28, 2020
* upstream/master:
  LEGO: check in for master to temporary branch.
  Preserve newlines between try/catch/finally, if/else, do/while (microsoft#39280)
  not narrow static property without type annotation in constructor. (microsoft#39252)
  Switch to ES Map/Set internally (microsoft#33771)
  fix(38840): omit completions for a spread like argument in a function definition (microsoft#38897)
  fix(38785): include in NavigationBar child items from default exported functions (microsoft#38915)
  LEGO: check in for master to temporary branch.
  LEGO: check in for master to temporary branch.
  Avoid effect of element access expression (microsoft#39174)
  Update typescript-eslint to 3.4.1-alpha.1 (microsoft#39260)
  Handle 'keyof' for generic tuple types (microsoft#39218)
  Disable unsound T[K] rule in subtype relations (microsoft#39249)
  LEGO: check in for master to temporary branch.
  Upgrade typescript-eslint version (microsoft#39242)
  Handle recursive type references up to a certain level of expansion in inference (microsoft#38011)
  Do not consider binding patterns in contextual types for return type inference where all the signature type parameters have defaults (microsoft#39081)
  LEGO: check in for master to temporary branch.

# Conflicts:
#	src/compiler/program.ts
#	src/compiler/types.ts
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Implementation of concat gives unexpected results
3 participants