src/game/java/com/mojang/realmsclient/dto/RealmsSettings.java

package com.mojang.realmsclient.dto;

import net.minecraftforge.api.distmarker.Dist;
import net.minecraftforge.api.distmarker.OnlyIn;

@OnlyIn(Dist.CLIENT)
public record RealmsSettings(boolean hardcore) {
}