bug: `from_native` on symbol of type `Any` is revealed to be `LazyFrame`

[MarcoGorelli]

from typing import Any
import narwhals as nw


def func(df: Any) -> None:
    reveal_type(nw.from_native(df))

I think it should be revealed as DataFrame | LazyFrame

[dangotbanned]

Could you link the @overload that it is hitting?

If anyone wants to tackle this, I really need to stress the current overloads are very fragile 😩

[EdAbati]

My guess is that it is hitting this:

narwhals/narwhals/translate.py

Lines 265 to 274 in cc22378

	# All params passed in as variables
	@overload
	def from_native(
	native_object: Any,
	*,
	pass_through: bool,
	eager_only: bool,
	series_only: bool,
	allow_series: bool | None,
	) -> Any: ...

[dangotbanned]

#2789 (comment)

@EdAbati IIRC to get that @overload, we'd need to pass in 4 keyword-only arguments.

But the example in the OP doesn't pass in any keywords.
Also the concern was the type being revealed as LazyFrame - so I think it would be one that has LazyFrame in the return type

My guess would be that it is one of the first few @overloads - where LazyFrame needs to be defined first as it would overlap with DataFrame if it came after

Anyway, I'm just guessing here as I've lost too much time trying to fix them in the past 😅

[MarcoGorelli]

😄 thanks for looking into it

not sure we should care too much, perhaps it just doesn't need fixing as this isn't something anyone would realistically write, hence the low-prio tag, it's just something i'd noticed