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