{"action":"created","issue":{"url":"https://api.github.com/repos/Microsoft/visualfsharp/issues/1296","repository_url":"https://api.github.com/repos/Microsoft/visualfsharp","labels_url":"https://api.github.com/repos/Microsoft/visualfsharp/issues/1296/labels{/name}","comments_url":"https://api.github.com/repos/Microsoft/visualfsharp/issues/1296/comments","events_url":"https://api.github.com/repos/Microsoft/visualfsharp/issues/1296/events","html_url":"https://github.com/Microsoft/visualfsharp/issues/1296","id":162839754,"number":1296,"title":"Type Inference broken recently.","user":{"login":"gmpl","id":1261319,"avatar_url":"https://avatars.githubusercontent.com/u/1261319?v=3","gravatar_id":"","url":"https://api.github.com/users/gmpl","html_url":"https://github.com/gmpl","followers_url":"https://api.github.com/users/gmpl/followers","following_url":"https://api.github.com/users/gmpl/following{/other_user}","gists_url":"https://api.github.com/users/gmpl/gists{/gist_id}","starred_url":"https://api.github.com/users/gmpl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gmpl/subscriptions","organizations_url":"https://api.github.com/users/gmpl/orgs","repos_url":"https://api.github.com/users/gmpl/repos","events_url":"https://api.github.com/users/gmpl/events{/privacy}","received_events_url":"https://api.github.com/users/gmpl/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/Microsoft/visualfsharp/labels/Area-Compiler","name":"Area-Compiler","color":"5319e7"},{"url":"https://api.github.com/repos/Microsoft/visualfsharp/labels/Resolution-By%20Design","name":"Resolution-By Design","color":"CCCCCC"}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":8,"created_at":"2016-06-29T04:43:29Z","updated_at":"2016-07-04T20:23:18Z","closed_at":"2016-07-04T16:13:05Z","body":"Existing code I have no longer compiles.\r\n\r\n#### Repro steps\r\n\r\n\r\n\r\n    open System.Text\r\n    open System.Runtime.CompilerServices\r\n    open System.Runtime.InteropServices\r\n\r\n    [<Extension; Sealed>]\r\n    type T = \r\n        [<Extension>]static member Append (x:StringBuilder, y:StringBuilder) = StringBuilder().Append(x).Append(y)\r\n\r\n\r\n\r\n\r\n#### Expected behavior\r\n\r\nCompiles fine.\r\n\r\n#### Actual behavior\r\n\r\nNo longer compiles:\r\n\r\n          [<Extension>]static member Append (x:StringBuilder, y:StringBuilder) = StringBuilder().Append(x).Append(y);;\r\n      ---------------------------------------------------------------------------^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\r\n\r\n    stdin(16,83): error FS0072: Lookup on object of indeterminate type based on information prior to this program point. A type annotation may be needed prior to this program point to constrain the type of the object. This may allow the lookup to be resolved.\r\n\r\n#### Known workarounds\r\n\r\n\r\n\r\n#### Related information \r\n\r\n\r\nI'm not sure exactly where it stopped working, but I can tell you for sure It worked on ba3fee7652c02512872e6e80f4d7c6b6767b15f8 and it doesn't work in 4e562f339ea4578c0ca6c9b784f2aa8f092079ac.\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/Microsoft/visualfsharp/issues/comments/230350155","html_url":"https://github.com/Microsoft/visualfsharp/issues/1296#issuecomment-230350155","issue_url":"https://api.github.com/repos/Microsoft/visualfsharp/issues/1296","id":230350155,"user":{"login":"dsyme","id":7204669,"avatar_url":"https://avatars.githubusercontent.com/u/7204669?v=3","gravatar_id":"","url":"https://api.github.com/users/dsyme","html_url":"https://github.com/dsyme","followers_url":"https://api.github.com/users/dsyme/followers","following_url":"https://api.github.com/users/dsyme/following{/other_user}","gists_url":"https://api.github.com/users/dsyme/gists{/gist_id}","starred_url":"https://api.github.com/users/dsyme/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/dsyme/subscriptions","organizations_url":"https://api.github.com/users/dsyme/orgs","repos_url":"https://api.github.com/users/dsyme/repos","events_url":"https://api.github.com/users/dsyme/events{/privacy}","received_events_url":"https://api.github.com/users/dsyme/received_events","type":"User","site_admin":false},"created_at":"2016-07-04T20:23:18Z","updated_at":"2016-07-04T20:23:18Z","body":"@gmpl If you'd like to contribute a snapshot version of FSharpPlus as a test case that would be hugely appreciated.  And indeed any other OSS F# libraries.  At least we would then know if we're breaking things relatively early"}}
{"actor":{"display_login":"dsyme"}}