{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
                // `x` is assigned a value of type `&M T`, hence `&M T <: typeof(x)`
                //
                // is required. However, we use equality, which is stronger.