Tadhg McDonald-Jensen

I would like to implement this as I have similar needs, primarily that the set of used names needs to persist over multiple calls to compile (so definition names don't...

One solution is to use a construct similar to swift's [optional binding](https://docs.swift.org/swift-book/LanguageGuide/TheBasics.html#ID333) where you assign a variable in the `if` statement, then the block of if statement is type guarded...

As for a solution that makes `has` a type guard, something like this may serve some cases: ```typescript interface GuardedMap extends Map { get(k: KnownKeys): T; get(k: K): T |...

when a pass file speifies multiple fields with the same name this loop ends up overriding the same key multiple times so the last one is the only one that...

well the current behaviour is that if multiple fields of the same name are present the last one is the one used in the goto, and when multiple recognized keys...

This much like a lot of very similar suggestions only consider implicit type behaviour changing fairly subtlety. #36165 suggests a way to explicitly say "the same type as expected by...

> > This is already possible: > > ```ts > > class NewLineJoiner extends Joiner { > > join: Joiner['join'] = (...strings) => { > > return strings.join('\n') > >...

Wrapping the expression in a `NO_OP` that just resolves to the generic it is given works here, surely typescript is smart enough these days we can drop this restriction with...

@ark120202 because the pull request didn't have the "Fixes" directive this wasn't automatically closed, would you mind closing it for house keeping purposes?

right sorry, was focused on the pull request I see now you mention those rules in your initial comment. I have already [advocated for this](https://github.com/typescript-eslint/typescript-eslint/issues/2428#issuecomment-692711951) in `strict-boolean-expression`. Not sure if...