///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2015 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v1.0
// which accompanies this distribution, and is available at
// http://www.eclipse.org/legal/epl-v10.html
///////////////////////////////////////////////////////////////////////////////

module Test2 {

type record of integer Record1;
type record of Record1 Record2;

function f1() {
    var Record2 r1, r2;
    r1 := {{1, 2}};
    r2 := valueof(r1);
    r2 := valueof({{1, 2}});
}

}