René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"False positive assignment error with generics when using --strictBindCallApply","articleBody":"\u003c!-- Please try to reproduce the issue with `typescript@next`. It may have already been fixed. --\u003e\r\n**TypeScript Version:**  3.3.0-dev.20181207\r\n\r\n\u003c!-- Search terms you tried before logging this (so others can find this issue more easily) --\u003e\r\n**Search Terms:** bind generic strict\r\n\r\n**Code**\r\n\r\n```ts\r\nclass SomeClass {\r\n\r\n    constructor() {\r\n        this.genericMethod = this.genericMethod.bind(this);\r\n        \r\n        // TS2322: Type '(callback: (p: {}) =\u003e {}) =\u003e void' is not\r\n        // assignable to type '\u003cT\u003e(callback: (p: T) =\u003e T) =\u003e void':\r\n        this.genericWithCallback = this.genericWithCallback.bind(this);\r\n    }\r\n\r\n    genericMethod\u003cT\u003e(p: T): void { }\r\n\r\n    genericWithCallback\u003cT\u003e(callback: (p: T) =\u003e T): void { }\r\n}\r\n```\r\n\r\nCompile with `tsc TypeScriptIssue.ts --target es6 --strictBindCallApply`\r\n\r\n**Expected behavior:**\r\nNo compile error\r\n\r\n**Actual behavior:**\r\n```plain\r\nerror TS2322: Type '(callback: (p: {}) =\u003e {}) =\u003e void' is not assignable to type '\u003cT\u003e(callback: (p: T) =\u003e T) =\u003e void'.\r\n  Types of parameters 'callback' and 'callback' are incompatible.\r\n    Types of parameters 'p' and 'p' are incompatible.\r\n      Type '{}' is not assignable to type 'T'.\r\n```\r\n\r\n\r\n**Playground Link:** (no --strictBindCallApply flag available)\r\n\r\n**Related issues:**\r\n* https://github.com/Microsoft/TypeScript/pull/27028\r\n* https://github.com/Microsoft/TypeScript/issues/28582\r\n","author":{"url":"https://github.com/ulrichb","@type":"Person","name":"ulrichb"},"datePublished":"2018-12-07T13:27:36.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/28900/TypeScript/issues/28900"}