Lines Matching full:precondition
7718 // Precondition: call is monomorphic and we have found a target with the
