Function conv_base 

fn conv_base<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    base_text: &str,
) -> ContractExpr<'tcx>

Convert a not_is_empty base (self / return / Arg_N / ident) into a place expression.