Function field_of_struct 

fn field_of_struct<'tcx>(
    adt_def: AdtDef<'tcx>,
    tcx: TyCtxt<'tcx>,
    value: ConstValue,
    ty: Ty<'tcx>,
    field: Symbol,
) -> Option<(ConstValue, Ty<'tcx>)>