well, we actually do have the source for

Any

and other built-in classes. they’re not packed in the sources jar because of a bug