跟踪构建器在 Java 类型系统中添加的接口

问：

如果我有一个构建器类，有没有办法跟踪在类型级别添加了某些接口的事实？

例如，如果我有

var dinner = Noodling.build()
  .name("Spaghetti") // Returns PastaBase & IName
  .sauce("Marinara") // Returns PastaBase & ISauce, but I also want `& IName`

我想让这个编译

String name = dinner.getName();

但事实并非如此，因为没有保持这种类型。dinnerIName

这是目前我最接近这种模式的工作方式，但它仍然有这个问题。

public class Noodling {

  public static PastaBase build() { return new Noodle(); }

  public interface IName { String getName(); }
  public interface ISauce { String getSauce(); }

  public interface PastaBase {
    public <T extends PastaBase & IName> T name();
    public <T extends PastaBase & ISauce> T sauce();
  }

  public static class PastaImpl implements PastaBase, IName, ISauce {

    @Override public <T extends PastaBase & IName> T name() { return (T) this; }
    @Override public <T extends PastaBase & ISauce> T sauce() { return (T) this; }

    @Override public String getName() { return name; }
    @Override public String getSauce() { return sauce; }

  }
}

如果我想要的超出了 Java 类型系统的可能性，我不会感到震惊，但它似乎非常接近！