Infinite (?) Least Upper Bound in scala

Types.scala

trait A { type T <: A }
trait B { type T <: B }
trait C extends A with B { type T <: C }
trait D extends A with B { type T <: D }

val o: A with B { 
  type T <: A with B { 
    type T <: A with B { 
      type T <: A with B { 
        type T <: A with B { 
          type T <: A with B { 
            type T <: A with B { 
              type T <: A with B { 
                type T <: A with B { 
                  type T <: A with B { 
                    type T <: A with B  { 
                      type T <: A with B { 
                        type T <: A with B { 
                          type T <: A with B { 
                            type T <: A with B { 
                              type T <: A with B { 
                                type T <: A with B { 
                                  type T <: A with B { 
                                    type T <: A with B { 
                                      type T <: A with B { 
                                        type T <: A with B  { 
                                          type T <: A with B { 
                                            type T <: A with B { 
                                              type T <: A with B { 
                                                type T <: A with B { 
                                                  type T <: A with B { 
                                                    type T <: A with B { 
                                                      type T <: A with B { 
                                                        type T <: A with B { 
                                                          type T <: A with B { 
                                                            type T <: A with B  { 
                                                              type T <: A with B { 
                                                                type T <: A with B { 
                                                                  type T <: A with B { 
                                                                    type T <: A with B { 
                                                                      type T <: A with B { 
                                                                        type T <: A with B { 
                                                                          type T <: A with B { 
                                                                            type T <: A with B { 
                                                                              type T <: A with B { 
                                                                                type T <: A with B 
                                                                              }
                                                                            }
                                                                          } 
                                                                        } 
                                                                      } 
                                                                    }
                                                                  }
                                                                } 
                                                              } 
                                                            }  
                                                          }
                                                        }
                                                      } 
                                                    } 
                                                  } 
                                                }
                                              }
                                            } 
                                          } 
                                        }  
                                      }
                                    }
                                  } 
                                } 
                              } 
                            }
                          }
                        } 
                      } 
                    }  
                  }
                }
              } 
            } 
          } 
        }
      }
    } 
  } 
} = if (true) new C{} else new D{}