lazaroclapp/cf_223_type_args_issue_repro

Reproducing a Checker Framework issue involving methods with type arguments.