[Tweak] Use StructInfo instead of a type for `assert_op`'s StructInfo-checking rule

tlc-pack / relax

Apache License 2.0

193 stars 58 forks source link

[Tweak] Use StructInfo instead of a type for `assert_op`'s StructInfo-checking rule #440

Closed slyubomirsky closed 1 year ago

slyubomirsky commented 1 year ago

This PR is a small change to the FInferStructInfo for assert_op. The previous macro was still using checked_type, but it would be preferable to use StructInfo instead, to avoid any lingering dependency on types.

tqchen commented 1 year ago

Needs to upstream to unity #453