Add @NonNullIfReturn: parameter-level conditional postcondition for nullness#1530

HenryXi1 wants to merge 7 commits into

eisop:mastereisop/checker-framework:masterfrom

HenryXi1:add-parameter-annotation-for-conditional-nullnessHenryXi1/checker-framework:add-parameter-annotation-for-conditional-nullnessCopy head branch name to clipboard