Drop unused unique::result_type function

This commit is contained in:
Richard Feldman 2020-04-25 07:53:30 -04:00
parent 24ff91b45a
commit 75d46053ec

View file

@ -934,17 +934,6 @@ fn num_type(u: VarId, a: VarId) -> SolvedType {
)
}
#[inline(always)]
fn result_type(u: VarId, a: SolvedType, e: SolvedType) -> SolvedType {
SolvedType::Apply(
Symbol::ATTR_ATTR,
vec![
flex(u),
SolvedType::Apply(Symbol::RESULT_RESULT, vec![a, e]),
],
)
}
#[inline(always)]
fn list_type(u: VarId, a: VarId) -> SolvedType {
SolvedType::Apply(