Function field_ty 

fn field_ty<'tcx>(
    tcx: TyCtxt<'tcx>,
    base_ty: Ty<'tcx>,
    field: usize,
) -> Option<Ty<'tcx>>

Resolve one field projection through an aggregate type.