fn trait_method<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    method_name: Symbol,
    self_ty: Ty<'tcx>,
    params: &[GenericArg<'tcx>]
) -> ConstantKind<'tcx>