{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            traits.extend(prelude_def_map[prelude.local_id].scope.traits());
        // Fill in module visible traits