@@ -2691,19 +2691,35 @@ module ExtensionMembersWithSameName =
26912691member this.Add ( x ) = x
26922692[<ReflectedDefinition>]
26932693member this.Add ( x , y ) = x+ y
2694+ [<ReflectedDefinition>]
2695+ static member SAdd ( x ) = x
2696+ [<ReflectedDefinition>]
2697+ static member SAdd ( x , y ) = x+ y
26942698
26952699let runAll () =
26962700match <@ obj() .Add( 2 ) @> with
26972701| ( Patterns.Call(_, m, _)) ->
26982702let text = m|> Expr.TryGetReflectedDefinition|> sprintf" %A "
26992703 check" clewwenf094" " Some Lambda (this, Lambda (x, x))"
2700- | _ -> ()
2704+ | _ -> failwith " unexpected shape "
27012705
27022706match <@ obj() .Add( 2 , 3 ) @> with
27032707| ( Patterns.Call(_, m, _)) ->
27042708let text = m|> Expr.TryGetReflectedDefinition|> sprintf" %A "
27052709 check" clewwenf095" ( m.GetParameters() .Length) 3
2706- | _ -> ()
2710+ | _ -> failwith" unexpected shape"
2711+
2712+ match <@ obj.SAdd( 2 ) @> with
2713+ | ( Patterns.Call(_, m, _)) ->
2714+ let text = m|> Expr.TryGetReflectedDefinition|> sprintf" %A "
2715+ check" clewwenf096" " Some Lambda (x, x)"
2716+ | _ -> failwith" unexpected shape"
2717+
2718+ match <@ obj.SAdd( 2 , 3 ) @> with
2719+ | ( Patterns.Call(_, m, _)) ->
2720+ let text = m|> Expr.TryGetReflectedDefinition|> sprintf" %A "
2721+ check" clewwenf097" ( m.GetParameters() .Length) 2
2722+ | _ -> failwith" unexpected shape"
27072723
27082724 runAll()
27092725