From c6a253b8755cdaedc403849be8437fc2557d2e3c Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Fri, 19 Feb 2021 06:06:14 -0800 Subject: [PATCH] format Summary: Per title Reviewed By: ngorogiannis Differential Revision: D26544599 fbshipit-source-id: 6c55fe84a --- infer/src/nullsafe/InheritanceRule.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/infer/src/nullsafe/InheritanceRule.ml b/infer/src/nullsafe/InheritanceRule.ml index a31017372..aa4e401fe 100644 --- a/infer/src/nullsafe/InheritanceRule.ml +++ b/infer/src/nullsafe/InheritanceRule.ml @@ -96,11 +96,11 @@ end let check type_role ~base ~overridden = if Nullability.equal Nullability.ThirdPartyNonnull base then - (* In context of inheritance check, third party declarations in base are treated optimistically. - Meaning return values are assumed [@Nullable] and params are assumed [@NonNull]. - This is done for compatibility reasons so existing [@Nullsafe] classes are preserved Nullsafe. - *) - Ok () + (* In context of inheritance check, third party declarations in base are treated optimistically. + Meaning return values are assumed [@Nullable] and params are assumed [@NonNull]. + This is done for compatibility reasons so existing [@Nullsafe] classes are preserved Nullsafe. + *) + Ok () else let subtype, supertype = match type_role with