Assert: conversion can be dynamic