Understand changes to - `fixupBoundAnnotations` from https://github.com/jspecify/checker-framework/commit/d1aba1c548b757190b11d9c5a853c1ced0661a52, related to #4 - `getErased` from https://github.com/jspecify/checker-framework/commit/ef726d77a7f0694749acb4e9b10aa89277e0c57f - `supertypesFromElement` from https://github.com/jspecify/checker-framework/commit/0a2de06cf031d89807311ea2687ef834f330d3f4