Suggestion Backlog Slog, 5/1/2017

[RyanCavanaugh]

• Flag boolean in comparison operator operands as errors #15506 Flag > with boolean (and others?) operand as error
• Suggestion: Module level privacy for types #15465 Module-level privacy for types
• Proposal: Preprocessor Directives #4691 Preprocessor directives
• Should be possible to force import of "unused" modules in case there are side-effects #9191 Import ellision
• Unable to specify return type of class extends T implements IFooable #15001 Allow class expressions in type positions
• Shorten method signatures (aka "type madness") #14662 Shorten enormous results of typeToString
• Suggestion: Explicit error messages in declaration files #14977 Add "error" overloads
• [Suggestion] A way to mark .d.ts files that they are strictNullCheck compliant #14810 Ability to mark .d.ts files as strictNullCheck-compliant
• Decorator emits undefined default_1 #14591 Fresh object literals should have string index signatures
• Proposal: quoted and unquoted property names distinct #14267 Allow distinction of quoted/dotted property access
• Object literals use contextual type for this when available and ignore type of literal itself. #15157 Intersect the object type with the contextual type when computing an object literal's this
• [Suggestion] Disallow literal types to be asserted to a different literal type of the same widened type #14156 Disallow assertions between literal types
• Cannot invoke an expression whose type lacks a call signature when --strictNullChecks enabled #14091 Add type guarding for properties originating in generics
• deleting a prop doesn't invalidate the interface #13783 Disallow delete operator under strictNullChecks on properties that don't contain undefined
• Function interface doesn't type check return value for extra keys #12632 Detect excess properties in contextually-typed function expression returns

[RyanCavanaugh]

• Flag boolean in comparison operator operands as errors #15506 Flag > with boolean (and others?) operand as error
  • Disallow non-any/number/string operands on either side of < > etc
  • 👍
• Suggestion: Module level privacy for types #15465 Module-level privacy for types
  • Unclear what the boundaries are
  • Use _ to indicate this
  • 👎
• Proposal: Preprocessor Directives #4691 Preprocessor directives
  • No lexical preprocessors
  • Use the emit pipeline for removing Debug.assert calls?
  • What third party tools can do this instead?
  • Defer to other tools
• Shorten method signatures (aka "type madness") #14662 Shorten enormous results of typeToString
  • VS Code removes our nice linebreaks
  • Not clear what can be done!
  • Encourage people to write type aliases
  • Log a bug on VS code removing linebreaks from tooltips
  • Someone needs to write a spec for this along with examples
• Suggestion: Explicit error messages in declaration files #14977 Add "error" overloads
  • AMF
• [Suggestion] A way to mark .d.ts files that they are strictNullCheck compliant #14810 Ability to mark .d.ts files as strictNullCheck-compliant
  • Hasn't seemed to be necessary
  • Without distinction between input and output positions, we can't do anything useful with this data
  • Disallow truthiness coercions on known-true/known-false values #9041 - we should check for identifiers or properties with call signatures
• Proposal: quoted and unquoted property names distinct #14267 Allow distinction of quoted/dotted property access
  • We could have a flag to rewrite dotted properties to indexed access
  • Defer to tsickle unless they're completely blocked
• [Suggestion] Disallow literal types to be asserted to a different literal type of the same widened type #14156 Disallow assertions between literal types
  • Won't Fix
• Cannot invoke an expression whose type lacks a call signature when --strictNullChecks enabled #14091 Add type guarding for properties originating in generics
  • Need some type operator that represents a deferred type guard
  • Ref Non-null assertion type operator ! #14366
  • Very complex

Out of time

• Unable to specify return type of class extends T implements IFooable #15001 Allow class expressions in type positions
• deleting a prop doesn't invalidate the interface #13783 Disallow delete operator under strictNullChecks on properties that don't contain undefined
• Function interface doesn't type check return value for extra keys #12632 Detect excess properties in contextually-typed function expression returns
• Should be possible to force import of "unused" modules in case there are side-effects #9191 Import ellision
• Object literals use contextual type for this when available and ignore type of literal itself. #15157 Intersect the object type with the contextual type when computing an object literal's this

[gcnew]

Could you provide some more information on why you consider #14156 a won't fix? Thanks!