diff --git a/tools/qfcc/include/type.h b/tools/qfcc/include/type.h
index 92b495753..14f1038f7 100644
--- a/tools/qfcc/include/type.h
+++ b/tools/qfcc/include/type.h
@@ -159,9 +159,11 @@ int is_vector (const type_t *type) __attribute__((pure));
 int is_quaternion (const type_t *type) __attribute__((pure));
 int is_math (const type_t *type) __attribute__((pure));
 int is_pointer (const type_t *type) __attribute__((pure));
+int is_field (const type_t *type) __attribute__((pure));
 int is_struct (const type_t *type) __attribute__((pure));
 int is_array (const type_t *type) __attribute__((pure));
 int is_func (const type_t *type) __attribute__((pure));
+int type_compatible (const type_t *dst, const type_t *src);
 int type_assignable (const type_t *dst, const type_t *src);
 int type_size (const type_t *type) __attribute__((pure));
 
diff --git a/tools/qfcc/source/statements.c b/tools/qfcc/source/statements.c
index 1be5432d1..a0f9b54bf 100644
--- a/tools/qfcc/source/statements.c
+++ b/tools/qfcc/source/statements.c
@@ -868,9 +868,9 @@ expr_alias (sblock_t *sblock, expr_t *e, operand_t **op)
 	}
 	type = e->e.expr.type;
 	sblock = statement_subexpr (sblock, e->e.expr.e1, &aop);
-	if (aop->type == type) {
+	if (type_compatible (aop->type, type)) {
 		if (offset) {
-			internal_error (e, "offset alias of same type");
+			internal_error (e, "offset alias of same size type");
 		}
 		*op = aop;
 		return sblock;
diff --git a/tools/qfcc/source/type.c b/tools/qfcc/source/type.c
index d63563524..55879f520 100644
--- a/tools/qfcc/source/type.c
+++ b/tools/qfcc/source/type.c
@@ -734,6 +734,14 @@ is_pointer (const type_t *type)
 	return 0;
 }
 
+int
+is_field (const type_t *type)
+{
+	if (type->type == ev_field)
+		return 1;
+	return 0;
+}
+
 int
 is_array (const type_t *type)
 {
@@ -750,6 +758,25 @@ is_func (const type_t *type)
 	return 0;
 }
 
+int
+type_compatible (const type_t *dst, const type_t *src)
+{
+	// same type
+	if (dst == src) {
+		return 1;
+	}
+	if (is_field (dst) && is_field (src)) {
+		return 1;
+	}
+	if (is_func (dst) && is_func (src)) {
+		return 1;
+	}
+	if (is_pointer (dst) && is_pointer (src)) {
+		return 1;
+	}
+	return 0;
+}
+
 int
 type_assignable (const type_t *dst, const type_t *src)
 {