diff options
Diffstat (limited to 'internal/typeparams/termlist.go')
| -rw-r--r-- | internal/typeparams/termlist.go | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/internal/typeparams/termlist.go b/internal/typeparams/termlist.go index 10857d504..933106a23 100644 --- a/internal/typeparams/termlist.go +++ b/internal/typeparams/termlist.go @@ -97,15 +97,6 @@ func (xl termlist) norm() termlist { return rl } -// If the type set represented by xl is specified by a single (non-𝓤) term, -// structuralType returns that type. Otherwise it returns nil. -func (xl termlist) structuralType() types.Type { - if nl := xl.norm(); len(nl) == 1 { - return nl[0].typ // if nl.isAll() then typ is nil, which is ok - } - return nil -} - // union returns the union xl ∪ yl. func (xl termlist) union(yl termlist) termlist { return append(xl, yl...).norm() |