@@ -1188,7 +1188,7 @@ public QualifiedMethodExpr(Class methodClass, Symbol sym) {
 	public QualifiedMethodExpr(Class methodClass, Symbol sym, StaticFieldExpr fieldOL) {
 		c = methodClass;
 		methodSymbol = sym;
-		tagClass = tagOf(sym) != null ? HostExpr.tagToClass(tagOf(sym)) : AFn.class;
+		tagClass = tagOf(sym) != null ? HostExpr.tagToClass(tagOf(sym)) : null;
 		hintedSig = tagsToClasses(paramTagsOf(sym));
 		if(sym.name.startsWith(".")) {
 			kind = MethodKind.INSTANCE;
@@ -1227,7 +1227,7 @@ public void emit(C context, ObjExpr objx, GeneratorAdapter gen) {
 			buildThunk(context, this).emit(context, objx, gen);
 	}
 
-	// Expr impl - method value, always an AFn
+	// Expr impl - method value is an AFn, field overload has field type
 
 	@Override
 	public boolean hasJavaClass() {
@@ -1236,7 +1236,12 @@ public boolean hasJavaClass() {
 
 	@Override
 	public Class getJavaClass() {
-		return tagClass;
+      if (tagClass != null)
+        return tagClass;
+      else if (preferOverloadedField())
+        return fieldOverload.getJavaClass();
+      else
+        return AFn.class;
 	}
 
 	// TBD: caching/reuse of thunks
 
@@ -194,6 +194,11 @@
     (is (= "int-int" (clojure.test.SwissArmy/.doppelganger (clojure.test.SwissArmy/new) (int 1) (int 2))))
     (is (= "int-int" (apply clojure.test.SwissArmy/.doppelganger (clojure.test.SwissArmy/new) (int 1) (int 2) [])))))
 
+(deftest field-overload-propagates-type
+  (testing "field overload without param-tags propagates field type"
+    (should-not-reflect
+     (let [a clojure.test.SwissArmy/doppelganger] (.substring a 0)))))
+
 (defmacro arg-tags-called-in-macro
   [a-type b-type a b]
   `(^[~a-type ~b-type] SwissArmy/staticArityOverloadMethod ~a ~b))