Assertion list for term "use type inference".

Results from Ascent++: 1
compiler CapableOfuse type inference 0.31