Skip to content

Commit

Permalink
dead code
Browse files Browse the repository at this point in the history
Summary: - as title

Reviewed By: VLanvin

Differential Revision: D65784678

fbshipit-source-id: 456bec6b9b69b7ab15864f75011d77487bed5f39
  • Loading branch information
ilya-klyuchnikov authored and facebook-github-bot committed Nov 12, 2024
1 parent 24c7788 commit bc03372
Showing 1 changed file with 0 additions and 5 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -27,11 +27,6 @@ object TypeVars {
case ty => children(ty).exists(hasTypeVars)
}

def containsVar(ty: Type, tv: VarType): Boolean = ty match {
case VarType(_) => ty == tv
case ty => children(ty).exists(containsVar(_, tv))
}

/** note: returns Nil for record types because they can't have type vars
*/
def children(ty: Type): List[Type] = ty match {
Expand Down

0 comments on commit bc03372

Please sign in to comment.