// ĠOriginal Ġbug : ĠK T - 1 9 6 4 0 Ċ Ċ import Ġjavax . swing . tree . Default Mutable TreeNode Ċ Ċ class ĠTest Java Expected Type Inference Ġ{ ĊĠĠĠ Ġfun Ġtest ( node : ĠDefault Mutable TreeNode ) Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġe Ġ= Ġnode . children () Ġ// Ġ(* ) ĊĠĠĠĠĠĠĠ Ġwhile Ġ( e . hasMore Elements ()) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ// Ġ... ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ