Skip to content

Internal error when calling base class method in inlined method without optimizations #20614

Description

@majocha
type One() =
    member _.Source1 x = x

type Two() =
    inherit One()
    member inline this.Source2 x = base.Source1 x

optimize-
no type check errors, fails during compilation with:
error FS0073: internal error: the inline value 'Source2' was not inferred to have a known value

optimize+
compiles fine

In fsi it fails regardless of optimize switch.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    Projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions