I think we should not special case module here. Does it crash if you look for selftypes for a module symbol? For instance, a module that has a self-type for a trait that contains no abstract method should be ok (but better to double check the spec).