pub(crate) fn parse_contract_place<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId,
expr: &Expr,
) -> Option<ContractPlace<'tcx>>pub(crate) fn parse_contract_place<'tcx>(
tcx: TyCtxt<'tcx>,
def_id: DefId,
expr: &Expr,
) -> Option<ContractPlace<'tcx>>