{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":")"}]}
) -> RelateResult<'tcx, ()> {
    to_mutbl: hir::Mutability,
    if from_mutbl >= to_mutbl { Ok(()) } else { Err(TypeError::Mutability) }