class B_BOXING

feature

	boxing
		local
			a1, a2: ANY
			b: BOOLEAN
			i: INTEGER
		do
			b := False
			a1 := True
			a2 := b

			if attached {BOOLEAN} a1 as l_b1 and attached {BOOLEAN} a2 as l_b2 then
				check l_b1 end
				check not l_b2 end
			else
				check unreachable: False end
			end

			i := 17
			a1 := 4
			a2 := i

			if attached {INTEGER} a1 as l_i1 and attached {INTEGER} a2 as l_i2 then
				check l_i1 = 4 end
				check l_i2 = 17 end
			else
				check unreachable: False end
			end

			check has_to_fail: False end
		end

end