✨ HasRankLE should always accepts rank-0 things (like scalars)

jorenham · jorenham · commit 8784be7feb6e · 2025-05-14T04:01:48.000+02:00
diff --git a/src/_numtype/_rank.pyi b/src/_numtype/_rank.pyi
@@ -35,7 +35,7 @@ _RankT = TypeVar("_RankT", bound=Shape, default=Any)
 
 HasRankLE = TypeAliasType(
     "HasRankLE",
-    _HasShape[_HasOwnShape[_UpperT] | _CanBroadcast[Any, _UpperT, _RankT]],
+    _HasShape[Shape0 | _HasOwnShape[_UpperT] | _CanBroadcast[Any, _UpperT, _RankT]],
     type_params=(_UpperT, _RankT),
 )
 HasRankGE = TypeAliasType(

Original file line number	Diff line number	Diff line change
`@@ -35,7 +35,7 @@ _RankT = TypeVar("_RankT", bound=Shape, default=Any)`
`35`	`35`
`36`	`36`	`HasRankLE = TypeAliasType(`
`37`	`37`	`"HasRankLE",`
`38`		`- _HasShape[_HasOwnShape[_UpperT] \| _CanBroadcast[Any, _UpperT, _RankT]],`
	`38`	`+ _HasShape[Shape0 \| _HasOwnShape[_UpperT] \| _CanBroadcast[Any, _UpperT, _RankT]],`
`39`	`39`	`type_params=(_UpperT, _RankT),`
`40`	`40`	`)`
`41`	`41`	`HasRankGE = TypeAliasType(`