pub(crate) trait SmirExistentialProjection<'tcx> {
// Required method
fn new_from_args(
&self,
def_id: DefId,
args: GenericArgsRef<'tcx>,
term: Term<'tcx>,
) -> ExistentialProjection<'tcx>;
}
pub(crate) trait SmirExistentialProjection<'tcx> {
// Required method
fn new_from_args(
&self,
def_id: DefId,
args: GenericArgsRef<'tcx>,
term: Term<'tcx>,
) -> ExistentialProjection<'tcx>;
}