Searched refs:checkComprehensionSafety (Results 1 – 2 of 2) sorted by relevance
1489 func (vis *bodySafetyVisitor) checkComprehensionSafety(tv VarSet, body Body) Body { func1508 ac.Body = vis.checkComprehensionSafety(ac.Term.Vars(), ac.Body)1514 oc.Body = vis.checkComprehensionSafety(tv, oc.Body)1518 sc.Body = vis.checkComprehensionSafety(sc.Term.Vars(), sc.Body)
1957 func (vis *bodySafetyVisitor) checkComprehensionSafety(tv VarSet, body Body) Body { func1976 ac.Body = vis.checkComprehensionSafety(ac.Term.Vars(), ac.Body)1982 oc.Body = vis.checkComprehensionSafety(tv, oc.Body)1986 sc.Body = vis.checkComprehensionSafety(sc.Term.Vars(), sc.Body)