From ae8ff327d2734e373df2839335ba9b1923c6eb67 Mon Sep 17 00:00:00 2001
From: Jan Rieke <rieke@subshell.com>
Date: Wed, 21 Jul 2021 13:54:54 +0200
Subject: [fixes #3081] make CheckerFramework's This a type annotation

---
 test/stubs/org/checkerframework/common/returnsreceiver/qual/This.java | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'test/stubs/org/checkerframework/common')

diff --git a/test/stubs/org/checkerframework/common/returnsreceiver/qual/This.java b/test/stubs/org/checkerframework/common/returnsreceiver/qual/This.java
index 8ae1cd59..2683ef5f 100644
--- a/test/stubs/org/checkerframework/common/returnsreceiver/qual/This.java
+++ b/test/stubs/org/checkerframework/common/returnsreceiver/qual/This.java
@@ -1,12 +1,10 @@
 package org.checkerframework.common.returnsreceiver.qual;
 
 import java.lang.annotation.ElementType;
-import java.lang.annotation.Inherited;
 import java.lang.annotation.Retention;
 import java.lang.annotation.RetentionPolicy;
 import java.lang.annotation.Target;
 
 @Retention(RetentionPolicy.RUNTIME)
-@Target(ElementType.METHOD)
-@Inherited
+@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
 public @interface This {}
\ No newline at end of file
-- 
cgit