def Answer.type

bend-lint-api@0.2.0.0 · linter/lint.bend:1196

import Base

1196# `t` with the handle of its normal form, if the answers give one.
1197def Answer.type(t: TypeRef, answers: List<&2, Answer>) -> TypeRef:
1198  match t answers:
1199    case TypeRef{check, handle} Con{Normalized{h}, rest}:
1200      TypeRef{check, h}
1201    case _ _:
1202      t