Generating verification metadata and verifying a runtime type based on verification metadata

A method, comprising:

• receiving a request to verify a first runtime type loaded based on a first runtime type reference;
• responsive to receiving the request to verify the first runtime type:
• identifying verification metadata comprising a stored assignable relationship between a second runtime type reference and a third runtime type reference;
• determining whether an actual assignable relationship between a second runtime type and a third runtime type adheres to the stored assignable relationship between the second runtime type reference and the third runtime type reference;
• and
• responsive at least to determining that the actual assignable relationship adheres to the stored assignable relationship, determining that the first runtime type is verified based on the verification metadata;
• wherein the method is performed by at least one hardware device including a processor.

A system, comprising:

• at least one hardware device including a processor;
• and
• the system configured to perform operations comprising:
• receiving a request to verify a first runtime type loaded based on a first runtime type reference;
• responsive to receiving the request to verify the first runtime type:
• identifying verification metadata comprising a stored assignable relationship between a second runtime type reference and a third runtime type reference;
• determining whether an actual assignable relationship between a second runtime type and a third runtime type adheres to the stored assignable relationship between the second runtime type reference and the third runtime type reference;
• and
• responsive at least to determining that the actual assignable relationship adheres to the stored assignable relationship, determining that the first runtime type is verified based on the verification metadata.