module checkTestcasesModuleImportsLibCommon_syncBad {
    import from LibWhatever {
        type all except LibCommon_sync;
    };
    
    // good module, only types and constants
    type record MyRecordType {
        integer field1 optional,
        charstring field2,
        boolean field3
    }

    type integer myInt;
    
    const myInt myIntValue:= 2;
}