pub(crate) trait SmirTraitRef<'tcx> {
// Required method
fn new_from_args(
&self,
trait_def_id: DefId,
args: GenericArgsRef<'tcx>,
) -> TraitRef<'tcx>;
}
pub(crate) trait SmirTraitRef<'tcx> {
// Required method
fn new_from_args(
&self,
trait_def_id: DefId,
args: GenericArgsRef<'tcx>,
) -> TraitRef<'tcx>;
}