Does self contain a virtual type or a formal generic parameter type?

In order to remove those types, you usually want to use anchor_to.

Property definitions

nitc $ MType :: need_anchor
	# Does `self` contain a virtual type or a formal generic parameter type?
	# In order to remove those types, you usually want to use `anchor_to`.
	fun need_anchor: Bool do return true
src/model/model.nit:1009,2--1011,37

nitc $ MClassType :: need_anchor
	redef fun need_anchor do return false
src/model/model.nit:1311,2--38

nitc $ MProxyType :: need_anchor
	redef fun need_anchor do return mtype.need_anchor
src/model/model.nit:1782,2--50

nitc $ MNullType :: need_anchor
	redef fun need_anchor do return false
src/model/model.nit:1902,2--38

nitc $ MBottomType :: need_anchor
	redef fun need_anchor do return false
src/model/model.nit:1928,2--38

nitc $ MErrorType :: need_anchor
	redef fun need_anchor do return false
src/model/model.nit:1952,2--38

nitc $ MInitType :: need_anchor
	redef fun need_anchor do return false
src/vm/virtual_machine.nit:899,2--38

nitc $ MRawType :: need_anchor
	redef fun need_anchor do
		not_available
		return false
	end
src/doc/model_ext.nit:36,2--39,4

nitc $ MGenericType :: need_anchor
	redef var need_anchor is noinit
src/model/model.nit:1444,2--32