Add resolve-propertyaccess test

src/resolver.ts

@@ -776,6 +776,7 @@ export class Resolver extends DiagnosticEmitter {
     }
     if (isTypedElement(kind)) {
       let type = (<TypedElement>element).type;
+      assert(type != Type.void);
       let classReference = type.classReference;
       if (classReference) {
         let wrappedType = classReference.wrappedType;
@@ -1142,14 +1143,13 @@ export class Resolver extends DiagnosticEmitter {
   /** Resolves a lazily compiled global, i.e. a static class field or annotated `@lazy`. */
   private ensureResolvedLazyGlobal(global: Global, reportMode: ReportMode = ReportMode.REPORT): bool {
     if (global.is(CommonFlags.RESOLVED)) return true;
+    var type: Type | null;
     var typeNode = global.typeNode;
-    if (!typeNode) return false;
-    var type = this.resolveType( // reports
-      typeNode,
-      global.parent,
-      null,
-      reportMode
-    );
+    if (typeNode) {
+      type = this.resolveType(typeNode, global.parent, null, reportMode);
+    } else {
+      type = this.resolveExpression(assert(global.initializerNode), global.file.startFunction.flow, Type.auto, reportMode);
+    }
     if (!type) return false;
     global.setType(type); // also sets resolved
     return true;
@@ -1174,6 +1174,7 @@ export class Resolver extends DiagnosticEmitter {
     // Resolve variable-likes to their class type first
     switch (target.kind) {
       case ElementKind.GLOBAL: if (!this.ensureResolvedLazyGlobal(<Global>target, reportMode)) return null;
+      case ElementKind.ENUMVALUE:
       case ElementKind.LOCAL:
       case ElementKind.FIELD: { // someVar.prop
         let type = (<VariableLikeElement>target).type; assert(type != Type.void);

tests/compiler/resolve-propertyaccess.json

@@ -0,0 +1,5 @@
+{
+  "asc_flags": [
+    "--runtime none"
+  ]
+}