{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"drop(inner);"}]}
                            drop(inner);
                        TypeVariableValue::Known { value: u } => {
                            self.relate(u, u)