[geraldwhen]

That’s not how that works. All imported type files are checked. Skip lib check skips checking types that aren’t imported.