I think we don't need to handle when a module is accessed through a fields
variable (as opposed to what I said in 95715f56c1acbd9dc090d9e4d0e6213c4fdf2563).
See the commit content for details.