fix: consider type of t0
in promote_u0
#1039
Merged
This job succeeded
Loading
t0
in promote_u0
#1039