old_contents: import numpy as np
  
  np.testing.bob  # E: Module has no attribute
  
new_contents: import numpy as np
  
  np.testing.bob  # E: Module has no attribute
  np.bob  # E: Module has no attribute
subject: add test to verify that getting a non-existent objects of top-level indeed results in an error