fn assoc_fn_of_type<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    fn_ident: Ident
) -> Option<DefId>