From 014870e973ea26549365dbc917c752c316106bbe Mon Sep 17 00:00:00 2001
From: N5N3 <2642243996@qq.com>
Date: Sat, 4 Dec 2021 12:16:06 +0800
Subject: [PATCH] add inference test

---
 test/broadcast.jl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/test/broadcast.jl b/test/broadcast.jl
index b3899ddb063df7..79aeafa143d99d 100644
--- a/test/broadcast.jl
+++ b/test/broadcast.jl
@@ -779,6 +779,9 @@ let
     bc = Broadcasted(+, (Broadcasted(*, (1, Broadcasted(/, (2.0, 2.5)))), Broadcasted(*, (Broadcasted(*, (3, 4)), 5))))
     @test @inferred(Broadcast.cat_nested(bc)) == (1,2.0,2.5,3,4,5)
     @test @inferred(Broadcast.materialize(Broadcast.flatten(bc))) == @inferred(Broadcast.materialize(bc)) == 60.8
+    # 1 .* 1 .- 1 .* 1 .^2 .+ 1 .* 1 .+ 1 .^ 3
+    bc = Base.Broadcast.Broadcasted(+, (Base.Broadcast.Broadcasted(+, (Base.Broadcast.Broadcasted(-, (Base.Broadcast.Broadcasted(*, (1, 1)), Base.Broadcast.Broadcasted(*, (1, Base.Broadcast.Broadcasted(Base.literal_pow, (Base.RefValue{typeof(^)}(^), 1, Base.RefValue{Val{2}}(Val{2}()))))))), Base.Broadcast.Broadcasted(*, (1, 1)))), Base.Broadcast.Broadcasted(Base.literal_pow, (Base.RefValue{typeof(^)}(^), 1, Base.RefValue{Val{3}}(Val{3}()))))) 
+    @test @inferred(Broadcast.materialize(Broadcast.flatten(bc))) == @inferred(Broadcast.materialize(bc)) == 2
 end
 
 let