ConvertToDoubleStream.java

import java.util.stream.DoubleStream;

class Test {
  DoubleStream m(double[] a) {
    return a<caret>;
  }
}