{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"None"}]}
                    None => {
                    Some(ty) => Some(ValuePathResolution::NonGeneric(ty.clone())),
                        never!("uninferred pattern?");