sh.selector).setType(defs.UNIT_TYPE).setSymbol(sym);
init.duplicate()).setType(defs.UNIT_TYPE).setSymbol(sym);
        public void newBoundVar(int pos, Symbol sym, Type type, Header sh) {            sym.setOwner(PatternMatcher.this.owner); // FIXME should be corrected earlier            if (numVars == boundVars.length) {                ValDef[] newVars = new ValDef[numVars * 2];                System.arraycopy(boundVars, 0, newVars, 0, numVars);                boundVars = newVars;            }            sym.setType(type);            boundVars[numVars++] = (ValDef)make.ValDef(                pos,                0,                sym.name,                gen.mkType(pos, type),                sh.selector).setType(defs.UNIT_TYPE).setSymbol(sym);        }