Check that extern specs use the exact same generics as the external definition #832

Closed nilehmann closed 1 month ago