From e66ef7fb6d0dd139db6a25cf9532809c1c49fadd Mon Sep 17 00:00:00 2001
From: Keno Fischer <keno@juliacomputing.com>
Date: Wed, 30 Dec 2020 00:17:22 -0500
Subject: [PATCH] Add `ismutabletype`

Determines whether a type was declared using `mutable struct`.
Naming follows from the `ismutable` query we already have, analogous
to `isbits`/`isbitstype`. Replaces #18168.
---
 base/exports.jl    |  1 +
 base/reflection.jl | 17 +++++++++++++++++
 test/reflection.jl |  3 +++
 3 files changed, 21 insertions(+)

diff --git a/base/exports.jl b/base/exports.jl
index 702c1bf485c3b..440b28fb155b2 100644
--- a/base/exports.jl
+++ b/base/exports.jl
@@ -656,6 +656,7 @@ export
     isbits,
     isequal,
     ismutable,
+    ismutabletype,
     isless,
     isunordered,
     ifelse,
diff --git a/base/reflection.jl b/base/reflection.jl
index 9558731a277d1..d13601ff6d16a 100644
--- a/base/reflection.jl
+++ b/base/reflection.jl
@@ -460,6 +460,23 @@ true
 """
 ismutable(@nospecialize(x)) = (@_pure_meta; typeof(x).mutable)
 
+
+"""
+    ismutabletype(T) -> Bool
+
+Determine whether type `T` was declared as a mutable type
+(i.e. using `mutable struct` keyword).
+
+!!! compat "Julia 1.7"
+    This function requires at least Julia 1.7.
+"""
+function ismutabletype(@nospecialize(t::Type))
+    t = unwrap_unionall(t)
+    # TODO: what to do for `Union`?
+    return isa(t, DataType) && t.mutable
+end
+
+
 """
     isstructtype(T) -> Bool
 
diff --git a/test/reflection.jl b/test/reflection.jl
index ea54b833aeef0..63101796804bb 100644
--- a/test/reflection.jl
+++ b/test/reflection.jl
@@ -113,6 +113,9 @@ not_const = 1
 
 @test ismutable(1) == false
 @test ismutable([]) == true
+@test ismutabletype(Int) == false
+@test ismutabletype(Vector{Any}) == true
+@test ismutabletype(Union{Int, Vector{Any}}) == false
 
 ## find bindings tests
 @test ccall(:jl_get_module_of_binding, Any, (Any, Any), Base, :sin)==Base