diff --git a/infer/src/nullsafe/typeOrigin.ml b/infer/src/nullsafe/typeOrigin.ml index 5cb3d9c9e..b0e152f41 100644 --- a/infer/src/nullsafe/typeOrigin.ml +++ b/infer/src/nullsafe/typeOrigin.ml @@ -38,8 +38,6 @@ and method_call_origin = ; annotated_signature: AnnotatedSignature.t ; is_library: bool } -let equal = [%compare.equal: t] - let get_nullability = function | NullConst _ -> Nullability.Null diff --git a/infer/src/nullsafe/typeOrigin.mli b/infer/src/nullsafe/typeOrigin.mli index e8e48e9a4..c78aeaacd 100644 --- a/infer/src/nullsafe/typeOrigin.mli +++ b/infer/src/nullsafe/typeOrigin.mli @@ -46,8 +46,6 @@ and method_call_origin = ; annotated_signature: AnnotatedSignature.t ; is_library: bool } -val equal : t -> t -> bool - val get_nullability : t -> Nullability.t val get_description : t -> string option