New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

internal struct constructor applies `convert` even when argument already satisfies type assertion #50627

Open

sadish-d opened this issue Jul 21, 2023 · 0 comments

Labels

domain:types and dispatch

sadish-d commented Jul 21, 2023

instance = (a=NaN,)
type = NamedTuple{(:a,), Tuple{A}} where A<:Real # abstract type

instance::type # confirms that instance is of type

struct F
    x::type
    F(x::type=instance) = new(x)
end
F() # applies `convert` and gives error - UndefVarError: `T` not defined

possibly related issue: #50626 (comment)

context: discourse discussion

sadish-d mentioned this issue

error when applying convert to NamedTuple #50626

Open

brenhinkeller added the domain:types and dispatch label

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