fn field_of_struct<'tcx>( adt_def: AdtDef<'tcx>, tcx: TyCtxt<'tcx>, result: Const<'tcx>, field: &Ident, ) -> Option<Const<'tcx>>