fsharp icon indicating copy to clipboard operation
fsharp copied to clipboard

Type checker: recover function type unification in method checking

Open auduchinok opened this issue 3 months ago • 2 comments

Adds recovery when it's not possible to unify the method type with the expected type:

if true then
    "".ToString
Screenshot 2025-10-28 at 19 20 41

The error would lead to the method symbol not being reported, so features like 'Go to Declaration' or getting the tooltip would not work.

auduchinok avatar Oct 28 '25 18:10 auduchinok

:heavy_exclamation_mark: Release notes required


:white_check_mark: Found changes and release notes in following paths:

Change path Release notes path Description
src/Compiler docs/release-notes/.FSharp.Compiler.Service/11.0.0.md

github-actions[bot] avatar Oct 28 '25 18:10 github-actions[bot]

This is ready 🙂

auduchinok avatar Oct 29 '25 12:10 auduchinok